Searched refs:device_port_t (Results 1 – 1 of 1) sorted by relevance
85 typedef uintptr_t device_port_t; typedef96 device_port_t device_handle; /* device_handle */406 if (device_object->device_handle != (device_port_t) NULL) { in device_pager_deallocate()408 device_object->device_handle = (device_port_t) NULL; in device_pager_deallocate()