Searched refs:memory_manager_default (Results 1 – 2 of 2) sorted by relevance
36 extern memory_object_default_t memory_manager_default;
109 memory_object_default_t memory_manager_default = MEMORY_OBJECT_DEFAULT_NULL; variable1428 current_manager = memory_manager_default; in host_default_memory_manager()1465 memory_manager_default = ipc_port_make_send_mqueue(new_manager); in host_default_memory_manager()1472 thread_wakeup((event_t) &memory_manager_default); in host_default_memory_manager()1504 current_manager = memory_manager_default; in memory_manager_default_reference()1510 (event_t) &memory_manager_default, in memory_manager_default_reference()1513 current_manager = memory_manager_default; in memory_manager_default_reference()1539 current = memory_manager_default; in memory_manager_default_check()