Searched refs:device_control (Results 1 – 1 of 1) sorted by relevance
392 memory_object_control_t device_control; in device_pager_deallocate() local418 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()419 memory_object_destroy(device_control, VM_OBJECT_DESTROY_PAGER); in device_pager_deallocate()428 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()430 if (device_control != MEMORY_OBJECT_CONTROL_NULL) { in device_pager_deallocate()431 memory_object_control_deallocate(device_control); in device_pager_deallocate()