Searched refs:device_control (Results 1 – 1 of 1) sorted by relevance
380 memory_object_control_t device_control; in device_pager_deallocate() local406 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()407 memory_object_destroy(device_control, 0); in device_pager_deallocate()416 device_control = device_object->dev_pgr_hdr.mo_control; in device_pager_deallocate()418 if (device_control != MEMORY_OBJECT_CONTROL_NULL) { in device_pager_deallocate()419 memory_object_control_deallocate(device_control); in device_pager_deallocate()