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

/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dintc.c79 maskInterrupt(bool_t disable, interrupt_t irq) function
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dinterrupt.h122 maskInterrupt(bool_t disable, irq_t irq) function
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dinterrupt.h78 maskInterrupt(bool_t disable, interrupt_t irq) function
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dinterrupt.h84 maskInterrupt(bool_t disable, interrupt_t irq) function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c89 maskInterrupt(bool_t disable, interrupt_t irq) function
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dinterrupt.h93 maskInterrupt(bool_t disable, interrupt_t irq) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dgic_pl390.h217 maskInterrupt(bool_t disable, interrupt_t irq) function

Completed in 101 milliseconds