Searched refs:current_manager (Results 1 – 1 of 1) sorted by relevance
1417 memory_object_default_t current_manager; in host_default_memory_manager() local1428 current_manager = memory_manager_default; 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() local1504 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()[all …]