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

/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/
H A Dpic.h19 void pic_ack_active_irq(void);
H A Dinterrupt.h95 pic_ack_active_irq();
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dpic.c88 void pic_ack_active_irq(void) function

Completed in 82 milliseconds