Searched refs:l4_factory_create_factory (Results 1 – 1 of 1) sorted by relevance
139 l4_factory_create_factory(l4_cap_idx_t factory, l4_cap_idx_t target_cap,373 l4_factory_create_factory(l4_cap_idx_t factory, in l4_factory_create_factory() function
Completed in 3 milliseconds