Searched refs:init_int_caps_manager (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/kaluga/
H A Dint_caps.h14 errval_t init_int_caps_manager(struct capref all_irq);
H A Dint_caps.c41 errval_t init_int_caps_manager(struct capref irq) function
H A Dmain.c145 err = init_int_caps_manager(all_irq_cap);

Completed in 36 milliseconds