Searched refs:L4_BASE_FACTORY_CAP (Results 1 – 6 of 6) sorted by relevance
61 l4_debugger_set_object_name(L4_BASE_FACTORY_CAP, "root factory"); in init()
65 l4_factory_create_gate_u(L4_BASE_FACTORY_CAP, _next_gate, in new_client()
251 L4_BASE_FACTORY_CAP = 2UL << L4_CAP_SHIFT, enumerator
138 l4_factory_create_gate(L4_BASE_FACTORY_CAP, cap.cap(),
199 if (l4_error(L4::Cap<L4::Factory>(L4_BASE_FACTORY_CAP)->create(irq)) < 0) in Cpu_hotplug_server()
491 my_env.factory(L4_BASE_FACTORY_CAP); in init_env()
Completed in 8 milliseconds