Searched refs:device_control (Results 1 – 1 of 1) sorted by relevance
383 memory_object_control_t device_control; in device_pager_deallocate() local409 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()410 memory_object_destroy(device_control, 0); in device_pager_deallocate()419 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()421 if (device_control != MEMORY_OBJECT_CONTROL_NULL) { in device_pager_deallocate()422 memory_object_control_deallocate(device_control); in device_pager_deallocate()