| /seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/ |
| H A D | interrupt.h | 78 maskInterrupt(bool_t disable, interrupt_t irq) argument
89 handleReservedIRQ(irq_t irq) argument
99 ackInterrupt(irq_t irq) argument
|
| /seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/ |
| H A D | interrupt.h | 61 interrupt_t irq = (interrupt_t)(intcps_sir_irq & 0x7f); local
84 maskInterrupt(bool_t disable, interrupt_t irq) argument
97 handleReservedIRQ(irq_t irq) argument
106 ackInterrupt(irq_t irq) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 61 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState) argument
68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, argument
84 irq_t irq; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | interrupt.c | 35 irq_t irq; local
86 invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) argument
95 decodeIRQHandlerInvocation(word_t invLabel, irq_t irq, extra_caps_t excaps) argument
145 invokeIRQHandler_AckIRQ(irq_t irq) argument
151 invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) argument
162 invokeIRQHandler_ClearIRQHandler(irq_t irq) argument
172 deletingIRQHandler(irq_t irq) argument
182 deletedIRQHandler(irq_t irq) argument
188 handleInterrupt(irq_t irq) argument
258 isIRQActive(irq_t irq) argument
264 setIRQState(irq_state_t irqState, irq_t irq) argument
[all...] |
| H A D | objecttype.c | 188 irq_t irq = cap_irq_handler_cap_get_capIRQ(cap); local
|
| /seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
| H A D | hardware.c | 89 maskInterrupt(bool_t disable, interrupt_t irq) argument
107 isReservedIRQ(irq_t irq) argument
115 handleReservedIRQ(irq_t irq) argument
121 ackInterrupt(irq_t irq) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/ |
| H A D | interrupt.h | 73 interrupt_t irq = (interrupt_t)(intcps_sir_irq & 0x7f); local
93 maskInterrupt(bool_t disable, interrupt_t irq) argument
106 handleReservedIRQ(irq_t irq) argument
111 ackInterrupt(irq_t irq) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | syscall.c | 41 irq_t irq; local
436 irq_t irq; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/ |
| H A D | machine.h | 143 handleReservedIRQ(irq_t irq) argument
168 ackInterrupt(UNUSED irq_t irq) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
| H A D | gic_pl390.h | 155 is_irq_edge_triggered(irq_t irq) argument
163 dist_pending_clr(irq_t irq) argument
172 dist_enable_clr(irq_t irq) argument
181 dist_enable_set(irq_t irq) argument
191 uint32_t irq; local
217 maskInterrupt(bool_t disable, interrupt_t irq) argument
227 ackInterrupt(irq_t irq) argument
[all...] |