win-pvdrivers

view xenenum/xenenum.h @ 77:b9b4b731f890

Tidyups and work on getting xennet at least as functional as it was before I started messing with it :)
author James Harper <james.harper@bendigoit.com.au>
date Fri Dec 28 23:21:49 2007 +1100 (2007-12-28)
parents b7863ede7a37
children 06ff6f324c80
line source
1 #if !defined(_XENENUM_H_)
2 #define _XENENUM_H_
4 #include <ntddk.h>
5 #include <wdm.h>
6 #include <wdf.h>
7 #include <initguid.h>
8 #include <ntdddisk.h>
10 #define NTSTRSAFE_LIB
11 #include <ntstrsafe.h>
13 #define __DRIVER_NAME "XenEnum"
14 #include <xen_windows.h>
15 #include <memory.h>
16 #include <grant_table.h>
17 #include <event_channel.h>
18 #include <hvm/params.h>
19 #include <hvm/hvm_op.h>
20 #include <xen_public.h>
21 #include <io/ring.h>
22 #include <io/blkif.h>
23 #define XENENUM_POOL_TAG (ULONG) 'XENM'
25 #define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))
26 #define BLK_RING_SIZE __RING_SIZE((blkif_sring_t *)0, PAGE_SIZE)
28 /*
29 struct
30 {
31 LIST_ENTRY Entry;
32 char Path[128];
33 char BackendPath[128];
34 ULONG DeviceIndex;
35 } typedef XENENUM_CHILD_DEVICE_DATA, *PXENENUM_CHILD_DEVICE_DATA, **PPXENENUM_CHILD_DEVICE_DATA;
37 WDF_DECLARE_CONTEXT_TYPE_WITH_NAME(PXENENUM_CHILD_DEVICE_DATA, GetChildDeviceData);
39 typedef struct _XENENUM_DEVICE_IDENTIFICATION_DESCRIPTION
40 {
41 WDF_CHILD_IDENTIFICATION_DESCRIPTION_HEADER Header;
42 UNICODE_STRING DeviceType;
43 ULONG DeviceIndex;
44 char Path[128];
45 } XENENUM_DEVICE_IDENTIFICATION_DESCRIPTION, *PXENENUM_DEVICE_IDENTIFICATION_DESCRIPTION;
46 */
48 #endif