Home
last modified time | relevance | path

Searched refs:maxIRQ (Results 1 – 18 of 18) sorted by relevance

/seL4-master/include/arch/arm/arch/object/
A Dinterrupt.h56 if (irq_w > maxIRQ) { in Arch_checkIRQ()
59 current_syscall_error.rangeErrorMax = maxIRQ; in Arch_checkIRQ()
/seL4-master/include/drivers/irq/
A Domap3.h64 assert(irq <= maxIRQ); in getActiveIRQ()
83 if (likely(irq < maxIRQ)) { in maskInterrupt()
A Dam335x.h92 if (likely(irq < maxIRQ)) { in maskInterrupt()
/seL4-master/src/arch/riscv/object/
A Dinterrupt.c15 if (irq > maxIRQ || irq == irqInvalid) { in Arch_checkIRQ()
18 current_syscall_error.rangeErrorMax = maxIRQ; in Arch_checkIRQ()
/seL4-master/include/model/
A Dstatedata.h97 #define INT_STATE_ARRAY_SIZE ((CONFIG_MAX_NUM_NODES - 1) * NUM_PPI + maxIRQ + 1)
99 #define INT_STATE_ARRAY_SIZE (maxIRQ + 1)
/seL4-master/src/arch/x86/model/
A Dstatedata.c69 x86_irq_state_t x86KSIRQState[maxIRQ + 1];
/seL4-master/include/plat/pc99/plat/
A Dmachine.h61 maxIRQ = int_irq_max - IRQ_INT_OFFSET, enumerator
/seL4-master/src/arch/arm/
A Dplatform_gen.h.in17 maxIRQ = @CONFIGURE_MAX_IRQ@ enumerator
/seL4-master/src/object/
A Dinterrupt.c184 if (unlikely(IRQT_TO_IRQ(irq) > maxIRQ)) { in handleInterrupt()
191 …Received IRQ %d, which is above the platforms maxIRQ of %d\n", (int)IRQT_TO_IRQ(irq), (int)maxIRQ); in handleInterrupt()
/seL4-master/include/plat/pc99/plat/machine/
A Dinterrupt.h110 assert(irq <= maxIRQ); in updateIRQState()
/seL4-master/src/plat/bcm2837/machine/
A Dintc.c121 } else if (irq < maxIRQ) { in maskInterrupt()
/seL4-master/src/arch/riscv/
A Dplatform_gen.h.in37 maxIRQ = KERNEL_TIMER_IRQ, enumerator
/seL4-master/src/arch/riscv/machine/
A Dhardware.c20 #define IS_IRQ_VALID(X) (((X)) <= maxIRQ && (X) != irqInvalid)
/seL4-master/src/arch/x86/object/
A Dinterrupt.c18 for (i = 0; i <= maxIRQ; i++) { in Arch_irqStateInit()
/seL4-master/src/arch/x86/kernel/
A Dboot.c35 for (i = 0; i <= maxIRQ; i++) { in init_irqs()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c95 for (i = 0; i <= maxIRQ; i++) { in init_irqs()
/seL4-master/src/arch/arm/kernel/
A Dboot.c121 for (i = 0; i <= maxIRQ ; i++) { in init_irqs()
/seL4-master/src/machine/
A Dcapdl.c330 for (unsigned i = 0; i <= maxIRQ; i++) { in obj_irq_print_maps()

Completed in 19 milliseconds