Searched refs:device_control (Results 1 – 1 of 1) sorted by relevance
390 memory_object_control_t device_control; in device_pager_deallocate() local416 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()417 memory_object_destroy(device_control, VM_OBJECT_DESTROY_PAGER); in device_pager_deallocate()426 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()428 if (device_control != MEMORY_OBJECT_CONTROL_NULL) { in device_pager_deallocate()429 memory_object_control_deallocate(device_control); in device_pager_deallocate()