Searched refs:vm_shared_region_destroy (Results 1 – 1 of 1) sorted by relevance
251 static void vm_shared_region_destroy(vm_shared_region_t shared_region);537 vm_shared_region_destroy(new_shared_region); in vm_shared_region_lookup()711 vm_shared_region_destroy(shared_region); in vm_shared_region_deallocate()999 vm_shared_region_destroy(shared_region); in vm_shared_region_create()1035 vm_shared_region_destroy( in vm_shared_region_destroy() function