Searched refs:irq_t (Results 26 - 45 of 45) sorted by relevance
12
/seL4-l4v-master/seL4/src/arch/arm/machine/ |
H A D | gic_v2.c | 150 void setIRQTrigger(irq_t irq, bool_t trigger) 191 void ipi_send_target(irq_t irq, word_t cpuTargetList) 207 void setIRQTarget(irq_t irq, seL4_Word target)
|
H A D | gic_v3.c | 290 void setIRQTrigger(irq_t irq, bool_t trigger) 347 void ipi_send_target(irq_t irq, word_t cpuTargetList) 376 void setIRQTarget(irq_t irq, seL4_Word target)
|
/seL4-l4v-master/seL4/src/plat/bcm2837/machine/ |
H A D | intc.c | 27 static inline irq_t getActiveIRQ(void) 70 static inline void maskInterrupt(bool_t disable, irq_t irq)
|
/seL4-l4v-master/seL4/src/smp/ |
H A D | ipi.c | 73 void handleIPI(irq_t irq, bool_t irqPath) 113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking)
|
/seL4-l4v-master/seL4/src/arch/arm/smp/ |
H A D | ipi.c | 81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking)
|
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/ |
H A D | gic_v2.h | 158 static inline irq_t getActiveIRQ(void) 160 irq_t irq; 184 static inline void maskInterrupt(bool_t disable, irq_t irq) 196 static inline void ackInterrupt(irq_t irq)
|
H A D | gic_v3.h | 229 static inline irq_t getActiveIRQ(void) 231 irq_t irq; 263 static inline void maskInterrupt(bool_t disable, irq_t irq) 276 static inline void ackInterrupt(irq_t irq)
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/ |
H A D | machine.h | 226 static inline void setInterruptMode(irq_t irq, bool_t levelTrigger, bool_t polarityLow) { } 233 void setIRQTrigger(irq_t irq, bool_t trigger);
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 54 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState) 60 static exception_t invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, 77 irq_t irq;
|
/seL4-l4v-master/seL4/src/plat/imx31/machine/ |
H A D | hardware.c | 152 irq_t active_irq = irqInvalid;
|
/seL4-l4v-master/seL4/include/drivers/irq/ |
H A D | bcm2836-armctrl-ic.h | 136 static inline void ackInterrupt(UNUSED irq_t irq)
|
/seL4-l4v-master/seL4/include/object/ |
H A D | objecttype.h | 56 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap));
|
/seL4-l4v-master/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking)
|
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | vcpu.h | 92 void VPPIEvent(irq_t irq); 187 static inline VPPIEventIRQ_t irqVPPIEventIndex(irq_t irq)
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | vcpu.c | 123 void VPPIEvent(irq_t irq) 501 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), irq_w);
|
/seL4-l4v-master/seL4/src/api/ |
H A D | syscall.c | 37 irq_t irq; 581 static inline void mcsIRQ(irq_t irq) 625 irq_t irq;
|
/seL4-l4v-master/seL4/src/machine/ |
H A D | capdl.c | 328 irq_t irq = CORE_IRQ_TO_IRQT(target, i); 349 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(irq_cap));
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | boot.c | 33 irq_t i;
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 103 irq_t i;
|
/seL4-l4v-master/seL4/src/object/ |
H A D | objecttype.c | 244 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap));
|
Completed in 175 milliseconds
12