Searched refs:device_control (Results 1 – 1 of 1) sorted by relevance
384 memory_object_control_t device_control; in device_pager_deallocate() local410 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()411 memory_object_destroy(device_control, 0); in device_pager_deallocate()420 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()422 if (device_control != MEMORY_OBJECT_CONTROL_NULL) { in device_pager_deallocate()423 memory_object_control_deallocate(device_control); in device_pager_deallocate()