Searched refs:IRQT_TO_IRQ (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h24 if (IRQT_TO_IRQ(irq) == KERNEL_PMU_IRQ) {
31 if (IRQT_TO_IRQ(irq) == INTERRUPT_VGIC_MAINTENANCE) {
43 if (IRQT_TO_IRQ(irq) == INTERRUPT_SMMU) {
50 printf("Received unhandled reserved IRQ: 0x%lx\n", IRQT_TO_IRQ(irq));
H A Dvcpu.h189 switch (IRQT_TO_IRQ(irq)) {
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dinterrupt.c58 userError("Rejecting request for IRQ %u. Already active.", (int)IRQT_TO_IRQ(irq));
65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
74 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
103 userError("Rejecting request for IRQ %u. Already active.", (int)IRQT_TO_IRQ(irq));
110 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
119 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
H A Dvcpu.c129 current_fault = seL4_Fault_VPPIEvent_new(IRQT_TO_IRQ(irq));
/seL4-l4v-master/seL4/include/machine/
H A Dinterrupt.h49 #define IRQT_TO_IRQ(irqt) (irqt) macro
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c155 word_t index = IRQT_TO_IRQ(irq) / 16u;
156 word_t offset = (IRQT_TO_IRQ(irq) % 16u) * 2;
168 assert(INT_STATE_ARRAY_SIZE < IRQT_TO_IRQ(irqInvalid));
200 gic_dist->sgi_control = (cpuTargetList << (GICD_SGIR_CPUTARGETLIST_SHIFT)) | (IRQT_TO_IRQ(
211 word_t hwIRQ = IRQT_TO_IRQ(irq);
H A Dgic_v3.c296 word_t hw_irq = IRQT_TO_IRQ(irq);
349 uint64_t sgi1r_base = ((word_t) IRQT_TO_IRQ(irq)) << ICC_SGI1R_INTID_SHIFT;
383 word_t hw_irq = IRQT_TO_IRQ(irq);
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c53 userError("Rejecting request for IRQ %u. Already active.", (int)IRQT_TO_IRQ(irq));
60 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
68 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
186 if (unlikely(IRQT_TO_IRQ(irq) > maxIRQ)) {
191 printf("Received IRQ %d, which is above the platforms maxIRQ of %d\n", (int)IRQT_TO_IRQ(irq), (int)maxIRQ);
208 printf("Undelivered IRQ: %d\n", (int)IRQT_TO_IRQ(irq));
245 printf("Received disabled IRQ: %d\n", (int)IRQT_TO_IRQ(irq));
/seL4-l4v-master/seL4/src/api/
H A Dsyscall.c47 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
583 if (IRQT_TO_IRQ(irq) == KERNEL_TIMER_IRQ) {
633 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
646 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
658 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
701 if (IRQT_TO_IRQ(ir
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h190 dist_enable_clr(IRQT_TO_IRQ(irq));
192 dist_enable_set(IRQT_TO_IRQ(irq));
199 && (active_irq[CURRENT_CPU_INDEX()] & IRQ_MASK) == IRQT_TO_IRQ(irq));
200 if (is_irq_edge_triggered(IRQT_TO_IRQ(irq))) {
201 dist_pending_clr(IRQT_TO_IRQ(irq));
H A Dgic_common.h53 #define IRQT_TO_IRQ(irqt) (irqt.irq) macro
H A Dgic_v3.h270 gic_enable_clr(IRQT_TO_IRQ(irq));
272 gic_enable_set(IRQT_TO_IRQ(irq));
278 word_t hw_irq = IRQT_TO_IRQ(irq);
/seL4-l4v-master/seL4/src/smp/
H A Dipi.c75 if (IRQT_TO_IRQ(irq) == irq_remote_call_ipi) {
77 } else if (IRQT_TO_IRQ(irq) == irq_reschedule_ipi) {
/seL4-l4v-master/seL4/src/arch/arm/
H A Dc_traps.c92 NODE_LOCK_IRQ_IF(IRQT_TO_IRQ(getActiveIRQ()) != irq_remote_call_ipi);
97 ksKernelEntry.word = IRQT_TO_IRQ(getActiveIRQ());

Completed in 71 milliseconds