Searched refs:irq_t (Results 1 - 25 of 45) sorted by relevance

12

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h27 * 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 Dipi.h18 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 Dinterrupt.h18 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 Dinterrupt.h14 * 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 Dhardware.h12 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 Dpic.h17 void pic_mask_irq(bool_t mask, irq_t irq);
H A Dinterrupt.h22 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 Dinterrupt.h13 static inline void handleReservedIRQ(irq_t irq)
/seL4-l4v-master/seL4/include/drivers/irq/
H A Dimx31.h46 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 Dam335x.h69 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 Domap3.h57 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 Driscv_plic0.h118 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 Dipi.c16 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 Dapic.h30 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 Dgic_common.h34 /* 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 Dinterrupt.c29 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 Dinterrupt.c25 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 Dx2apic.c111 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 Dxapic.c120 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 Dhardware.c98 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 Dipi.h49 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 Dinterrupt.c13 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 Dinterrupt.h20 static inline void handleReservedIRQ(irq_t irq)
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dpic.c39 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 Dmachine.h26 void setIRQTrigger(irq_t irq, bool_t trigger);
28 void setIRQTarget(irq_t irq, seL4_Word target);

Completed in 102 milliseconds

12