Searched refs:l4_factory_create_irq (Results 1 – 1 of 1) sorted by relevance
206 l4_factory_create_irq(l4_cap_idx_t factory,389 l4_factory_create_irq(l4_cap_idx_t factory, in l4_factory_create_irq() function
Completed in 4 milliseconds