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