Home
last modified time | relevance | path

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

/seL4-master/include/plat/pc99/plat/machine/
A Dpic.h17 void pic_mask_irq(bool_t mask, irq_t irq);
A Dinterrupt.h118 pic_mask_irq(disable, irq); in maskInterrupt()
/seL4-master/src/plat/pc99/machine/
A Dpic.c39 void pic_mask_irq(bool_t mask, irq_t irq) in pic_mask_irq() function

Completed in 5 milliseconds