Searched refs:device_pager_terminate (Results 1 – 2 of 2) sorted by relevance
72 .memory_object_terminate = device_pager_terminate,454 device_pager_terminate( in device_pager_terminate() function
459 extern kern_return_t device_pager_terminate(memory_object_t);