Searched refs:returned_manager (Results 1 – 1 of 1) sorted by relevance
1419 memory_object_default_t returned_manager; in host_default_memory_manager() local1429 returned_manager = MEMORY_OBJECT_DEFAULT_NULL; in host_default_memory_manager()1435 returned_manager = ipc_port_make_send_mqueue(current_manager); in host_default_memory_manager()1464 returned_manager = current_manager; in host_default_memory_manager()1486 *default_manager = returned_manager; in host_default_memory_manager()