/seL4-l4v-10.1.1/seL4/include/object/ |
H A D | objecttype.h | 49 irq_t irq = cap_irq_handler_cap_get_capIRQ(cap); local
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | jiraver550.c | 19 short irq; member in struct:finaliseCap_ret
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | c_traps.c | 120 interrupt_t irq = servicePendingIRQ(); local
|
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/ |
H A D | hardware.h | 74 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/ |
H A D | hardware.h | 78 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/ |
H A D | hardware.h | 65 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/ |
H A D | hardware.h | 303 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/ |
H A D | hardware.h | 224 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/ |
H A D | hardware.h | 296 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/ |
H A D | hardware.h | 191 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/ |
H A D | hardware.h | 115 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/ |
H A D | hardware.h | 154 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/ |
H A D | hardware.h | 110 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/ |
H A D | hardware.h | 125 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 25 Arch_checkIRQ(word_t irq) argument
|
/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/ |
H A D | intc.c | 38 uint32_t irq; local 79 maskInterrupt(bool_t disable, interrupt_t irq) argument [all...] |
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
H A D | interrupt.h | 28 handleReservedIRQ(irq_t irq) argument 99 ackInterrupt(irq_t irq) argument 115 updateIRQState(irq_t irq, x86_irq_state_t state) argument 122 maskInterrupt(bool_t disable, irq_t irq) argument [all...] |
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/ |
H A D | hardware.h | 93 handleReservedIRQ(irq_t irq) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/ |
H A D | c_traps.c | 25 c_nested_interrupt(int irq) argument 35 c_handle_interrupt(int irq, int syscall) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
H A D | pic.c | 44 void pic_mask_irq(bool_t mask, irq_t irq) argument 95 irq_t irq = getActiveIRQ(); local [all...] |
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/ |
H A D | hardware.h | 75 static inline void setInterruptMode(irq_t irq, bool_t levelTrigger, bool_t polarityLow) { } argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 17 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument 43 irq_t irq = (irq_t) irq_w; local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | c_traps.c | 143 interrupt_t irq = servicePendingIRQ(); local 404 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/smp/ |
H A D | ipi.c | 76 void handleIPI(irq_t irq, bool_t irqPath) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
H A D | gic_pl390.c | 162 void setIRQTrigger(irq_t irq, bool_t trigger) argument 202 void ipiBroadcast(irq_t irq, bool_t includeSelfCPU) argument 207 void ipi_send_target(irq_t irq, word_t cpuTargetList) argument
|