/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
H A D | plic.h | 27 * irq_t plic_get_claim(void): If called when an IRQ is pending, returns 30 * void plic_complete_claim(irq_t irq): Complete a claim process for an 32 * void plic_mask_irq(bool_t disable, irq_t irq): Disables or enables an 34 * void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered): Configure 40 static inline irq_t plic_get_claim(void) 45 static inline void plic_complete_claim(irq_t irq) 49 static inline void plic_mask_irq(bool_t disable, irq_t irq) 54 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered);
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/smp/ |
H A D | ipi.h | 18 void ipi_send_target(irq_t irq, word_t cpuTargetList); 19 irq_t ipi_get_irq(void); 20 void ipi_clear_irq(irq_t irq);
|
/seL4-l4v-master/seL4/include/object/ |
H A D | interrupt.h | 18 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot); 19 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq, 21 void invokeIRQHandler_AckIRQ(irq_t irq); 22 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot); 23 void invokeIRQHandler_ClearIRQHandler(irq_t irq); 24 void deletingIRQHandler(irq_t irq); 25 void deletedIRQHandler(irq_t irq); 26 void handleInterrupt(irq_t irq); 27 bool_t isIRQActive(irq_t irq); 28 void setIRQState(irq_state_t irqState, irq_t ir [all...] |
/seL4-l4v-master/seL4/include/machine/ |
H A D | interrupt.h | 14 * irq_t is an identifier that represents a hardware interrupt. 15 * irq handler capabilities refer to an irq_t which is then used by the 16 * kernel to track irq state. An irq_t is also used to interface with an 18 * For most configurations an irq_t is a word_t type and the irq_t values 21 * However on SMP configurations where there can be multiple irq_t identifiers 23 * irq_t cannot be assumed to be only a hardware irq number. 24 * In this case, irq_t can be defined as a struct containing additional information. 27 * CORE_IRQ_TO_IRQT: converts from a core id and hw irq number to an irq_t 28 * IRQT_TO_IDX: converts an irq_t t 42 } irq_t; typedef in typeref:struct:__anon157 44 typedef word_t irq_t; typedef [all...] |
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 12 static inline irq_t plic_get_claim(void) 17 static inline void plic_complete_claim(irq_t irq) 21 static inline void plic_mask_irq(bool_t disable, irq_t irq)
|
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
H A D | pic.h | 17 void pic_mask_irq(bool_t mask, irq_t irq);
|
H A D | interrupt.h | 22 static inline void handleReservedIRQ(irq_t irq) 55 static inline irq_t getActiveIRQ(void) 92 static inline void ackInterrupt(irq_t irq) 106 static void inline updateIRQState(irq_t irq, x86_irq_state_t state) 112 static inline void maskInterrupt(bool_t disable, irq_t irq)
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 13 static inline void handleReservedIRQ(irq_t irq)
|
/seL4-l4v-master/seL4/include/drivers/irq/ |
H A D | imx31.h | 46 extern irq_t active_irq; 50 static inline irq_t getActiveIRQ(void) 73 static inline void maskInterrupt(bool_t disable, irq_t irq) 82 static inline void ackInterrupt(irq_t irq)
|
H A D | am335x.h | 69 static inline irq_t getActiveIRQ(void) 72 irq_t irq = (irq_t)(intcps_sir_irq & 0x7f); 90 static inline void maskInterrupt(bool_t disable, irq_t irq) 101 static inline void ackInterrupt(irq_t irq)
|
H A D | omap3.h | 57 static inline irq_t getActiveIRQ(void) 60 irq_t irq = (irq_t)(intcps_sir_irq & 0x7f); 81 static inline void maskInterrupt(bool_t disable, irq_t irq) 92 static inline void ackInterrupt(irq_t irq)
|
H A D | riscv_plic0.h | 118 static inline irq_t plic_get_claim(void) 125 static inline void plic_complete_claim(irq_t irq) 132 static inline void plic_mask_irq(bool_t disable, irq_t irq) 188 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered)
|
/seL4-l4v-master/seL4/src/arch/riscv/smp/ |
H A D | ipi.c | 16 static volatile irq_t ipiIrq[CONFIG_MAX_NUM_NODES]; 59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) 65 irq_t ipi_get_irq(void) 71 void ipi_clear_irq(irq_t irq) 78 void ipi_send_target(irq_t irq, word_t hart_id)
|
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
H A D | apic.h | 30 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id); 31 void apic_send_ipi_cluster(irq_t vector, word_t mda);
|
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/ |
H A D | gic_common.h | 34 /* In this case irq_t is a struct with an hw irq field and target core field. 35 * The following macros convert between (target_core, hw_irq) <-> irq_t <-> cnode index. 44 #define CORE_IRQ_TO_IRQT(tgt, _irq) ((irq_t){.irq = (_irq), .target_core = (tgt)}) 54 irq_t irqInvalid = CORE_IRQ_TO_IRQT(-1, -1); 58 irq_t irqInvalid = (uint16_t) -1;
|
/seL4-l4v-master/seL4/src/object/ |
H A D | interrupt.c | 29 irq_t irq; 79 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) 87 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq, 136 void invokeIRQHandler_AckIRQ(irq_t irq) 151 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) 161 void invokeIRQHandler_ClearIRQHandler(irq_t irq) 170 void deletingIRQHandler(irq_t irq) 179 void deletedIRQHandler(irq_t irq) 184 void handleInterrupt(irq_t irq) 257 bool_t isIRQActive(irq_t ir [all...] |
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 25 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) 50 irq_t irq = (irq_t) irq_w;
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | x2apic.c | 111 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) 128 void apic_send_ipi_cluster(irq_t vector, word_t mda)
|
H A D | xapic.c | 120 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) 144 void apic_send_ipi_cluster(irq_t vector, word_t mda)
|
/seL4-l4v-master/seL4/src/arch/riscv/machine/ |
H A D | hardware.c | 98 static irq_t getNewActiveIRQ(void) 132 static inline irq_t getActiveIRQ(void) 160 void setIRQTrigger(irq_t irq, bool_t edge_triggered) 191 static inline void maskInterrupt(bool_t disable, irq_t irq) 219 static inline void ackInterrupt(irq_t irq)
|
/seL4-l4v-master/seL4/include/smp/ |
H A D | ipi.h | 49 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking); 55 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking); 58 void ipi_send_target(irq_t irq, word_t cpuTargetList); 74 void handleIPI(irq_t irq, bool_t irqPath);
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) 38 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(0, irq_w); 89 irq_t irq = CORE_IRQ_TO_IRQT(target, irq_w);
|
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | interrupt.h | 20 static inline void handleReservedIRQ(irq_t irq)
|
/seL4-l4v-master/seL4/src/plat/pc99/machine/ |
H A D | pic.c | 39 void pic_mask_irq(bool_t mask, irq_t irq) 90 irq_t irq = getActiveIRQ();
|
/seL4-l4v-master/seL4/include/arch/arm/arch/ |
H A D | machine.h | 26 void setIRQTrigger(irq_t irq, bool_t trigger); 28 void setIRQTarget(irq_t irq, seL4_Word target);
|