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

/barrelfish-master/usr/kaluga/
H A Dint_caps.h15 struct capref * get_irq_cap(void);
H A Dint_caps.c15 struct capref * get_irq_cap(void) function
H A Dstart_hpet.c169 struct capref *all_irq_cap = get_irq_cap();

Completed in 96 milliseconds