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

/barrelfish-master/usr/kaluga/
H A Dint_caps.c15 struct capref * get_irq_cap(void) function

Completed in 82 milliseconds