Searched refs:maskInterrupt (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/ |
H A D | interrupt.h | 84 maskInterrupt(bool_t disable, interrupt_t irq) function 100 maskInterrupt(true, irq);
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | interrupt.c | 147 maskInterrupt(false, irq); 196 maskInterrupt(true, irq); 215 maskInterrupt(true, irq); 243 maskInterrupt(true, irq); 267 maskInterrupt(irqState == IRQInactive, irq);
|
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/ |
H A D | interrupt.h | 78 maskInterrupt(bool_t disable, interrupt_t irq) function
|
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/ |
H A D | hardware.h | 71 void maskInterrupt(bool_t enable, irq_t irq);
|
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/ |
H A D | hardware.c | 45 maskInterrupt(/*disable*/ true, GPT9_IRQ);
|
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/ |
H A D | interrupt.h | 93 maskInterrupt(bool_t disable, interrupt_t irq) function
|
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
H A D | interrupt.h | 122 maskInterrupt(bool_t disable, irq_t irq) function
|
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
H A D | hardware.c | 97 maskInterrupt(/*disable*/ true, DMTIMER0_IRQ);
|
/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/ |
H A D | intc.c | 79 maskInterrupt(bool_t disable, interrupt_t irq) function
|
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | hardware.c | 89 maskInterrupt(bool_t disable, interrupt_t irq) function
|
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/ |
H A D | machine.h | 154 maskInterrupt(bool_t disable, interrupt_t irq);
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
H A D | gic_pl390.h | 217 maskInterrupt(bool_t disable, interrupt_t irq) function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
H A D | boot.c | 317 maskInterrupt(false, KERNEL_TIMER_IRQ);
|
Completed in 66 milliseconds