Searched refs:device_handle (Results 1 – 3 of 3) sorted by relevance
96 device_port_t device_handle; /* device_handle */ member142 uintptr_t device_handle, in device_pager_setup() argument155 device_object->device_handle = device_handle; in device_pager_setup()329 __IGNORE_WCASTALIGN(kr = device_data_action(device_object->device_handle, in device_pager_data_action()414 if (device_object->device_handle != (device_port_t) NULL) { in device_pager_deallocate()415 device_close(device_object->device_handle); in device_pager_deallocate()416 device_object->device_handle = (device_port_t) NULL; in device_pager_deallocate()
74 uintptr_t device_handle,81 uintptr_t device_handle);
214 uintptr_t device_handle, in device_data_action() argument221 IOMemoryDescriptorReserved * ref = (IOMemoryDescriptorReserved *) device_handle; in device_data_action()239 uintptr_t device_handle) in device_close() argument241 IOMemoryDescriptorReserved * ref = (IOMemoryDescriptorReserved *) device_handle; in device_close()