l4_factory_create_irq_u (reference) in projects: l4re-core-master

Searched refs:l4_factory_create_irq_u (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4sys/include/
A D	factory.h	`216 l4_factory_create_irq_u(l4_cap_idx_t factory, 340 l4_factory_create_irq_u(l4_cap_idx_t factory, in l4_factory_create_irq_u() function 392 return l4_factory_create_irq_u(factory, target_cap, l4_utcb()); in l4_factory_create_irq()`

Completed in 3 milliseconds