compat/ndis/subr_ntoskrnl.c

135 static irp *IoBuildSynchronousFsdRequest(uint32_t, device_object *,
138 	device_object *, void *, uint32_t, uint64_t *, io_status_block *);
140 	device_object *, void *, uint32_t, void *, uint32_t,
164 static void ntoskrnl_workitem(device_object *, void *);
232 static int32_t IoOpenDeviceRegistryKey(struct device_object *, uint32_t,
239 	uint32_t, void *, device_object *);
240 static ndis_status IoGetDeviceProperty(device_object *, uint32_t,
252 static uint32_t IoWMIRegistrationControl(device_object *, uint32_t);
746 	device_object **newdev)
748 	device_object		*dev;
750 	dev = ExAllocatePoolWithTag(NonPagedPool, sizeof(device_object), 0);
772 	dev->do_size = sizeof(device_object) + devextlen;
826 	device_object		*dev;
828 	device_object		*prev;
853 device_object *
855 	device_object		*dev;
857 	device_object		*d;
873 	device_object		*dobj;
893 	device_object		*dobj;
962 IoBuildDeviceIoControlRequest(uint32_t iocode, device_object *dobj, void *ibuf,
1146 	device_object		*dobj;
1174 	device_object		*dobj;
1360 device_object *
1362 	device_object		*src;
1363 	device_object		*dst;
1365 	device_object		*attached;
1379 	device_object		*topdev;
1381 	device_object		*tail;
2848 	device_object		*dobj;
2918 	device_object		*dobj;
2938  * acquires a reference to the device's device_object via the
2951  * instead of the device_object. We need to save this pointer so
2984 		if (cur->iw_dobj == (device_object *)w) {
2993 	iw = IoAllocateWorkItem((device_object *)w);
3214 IoOpenDeviceRegistryKey(struct device_object *devobj, uint32_t type,
3225 	device_object		*devobj;
3232 	device_object		*devobj;
3490 	device_object		*dobj;