Lines Matching refs:current_manager
1417 memory_object_default_t current_manager; in host_default_memory_manager() local
1428 current_manager = memory_manager_default; in host_default_memory_manager()
1435 returned_manager = ipc_port_make_send_mqueue(current_manager); in host_default_memory_manager()
1450 if (current_manager == MEMORY_OBJECT_DEFAULT_NULL) { in host_default_memory_manager()
1464 returned_manager = current_manager; in host_default_memory_manager()
1479 if (current_manager == MEMORY_OBJECT_DEFAULT_NULL) { in host_default_memory_manager()
1501 memory_object_default_t current_manager; in memory_manager_default_reference() local
1504 current_manager = memory_manager_default; in memory_manager_default_reference()
1505 while (current_manager == MEMORY_OBJECT_DEFAULT_NULL) { in memory_manager_default_reference()
1513 current_manager = memory_manager_default; in memory_manager_default_reference()
1515 current_manager = ipc_port_make_send_mqueue(current_manager); in memory_manager_default_reference()
1518 return current_manager; in memory_manager_default_reference()