Searched refs:IRQT_TO_IRQ (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | interrupt.h | 24 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 D | vcpu.h | 189 switch (IRQT_TO_IRQ(irq)) {
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 58 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 D | vcpu.c | 129 current_fault = seL4_Fault_VPPIEvent_new(IRQT_TO_IRQ(irq));
|
/seL4-l4v-master/seL4/include/machine/ |
H A D | interrupt.h | 49 #define IRQT_TO_IRQ(irqt) (irqt) macro
|
/seL4-l4v-master/seL4/src/arch/arm/machine/ |
H A D | gic_v2.c | 155 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 D | gic_v3.c | 296 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 D | interrupt.c | 53 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 D | syscall.c | 47 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 D | gic_v2.h | 190 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 D | gic_common.h | 53 #define IRQT_TO_IRQ(irqt) (irqt.irq) macro
|
H A D | gic_v3.h | 270 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 D | ipi.c | 75 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 D | c_traps.c | 92 NODE_LOCK_IRQ_IF(IRQT_TO_IRQ(getActiveIRQ()) != irq_remote_call_ipi); 97 ksKernelEntry.word = IRQT_TO_IRQ(getActiveIRQ());
|
Completed in 167 milliseconds