Searched refs:irqInvalid (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h28 * the pending priority and starts a claim process. Will return irqInvalid
42 return irqInvalid;
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h14 return irqInvalid;
/seL4-l4v-master/seL4/include/drivers/irq/
H A Dimx31.h14 irqInvalid = 255 enumerator in enum:irqNumbers
49 * there isn't one. Note this is also known as irqInvalid */
52 if (active_irq == irqInvalid) {
69 return getActiveIRQ() != irqInvalid;
89 active_irq = irqInvalid;
H A Dam335x.h15 irqInvalid = 255 enumerator in enum:irqNumbers
80 return irqInvalid;
86 return getActiveIRQ() != irqInvalid;
H A Domap3.h21 irqInvalid = 255 enumerator in enum:irqNumbers
71 return irqInvalid;
77 return getActiveIRQ() != irqInvalid;
H A Dbcm2836-armctrl-ic.h123 irqInvalid = 255 enumerator in enum:irqNumbers
/seL4-l4v-master/seL4/src/arch/riscv/smp/
H A Dipi.c54 ipiIrq[getCurrentCPUIndex()] = irqInvalid;
67 assert(!(ipiIrq[getCurrentCPUIndex()] == irqInvalid && big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi == 1));
73 ipiIrq[getCurrentCPUIndex()] = irqInvalid;
85 assert((ipiIrq[core_id] == irqInvalid) || (ipiIrq[core_id] == irq_reschedule_ipi) ||
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_common.h54 irq_t irqInvalid = CORE_IRQ_TO_IRQT(-1, -1); variable
58 irq_t irqInvalid = (uint16_t) -1; variable
H A Dgic_v2.h168 irq = irqInvalid;
H A Dgic_v3.h242 irq = irqInvalid;
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c29 #define IS_IRQ_VALID(X) (((X)) <= maxIRQ && (X)!= irqInvalid)
91 * Otherwise we return IRQ invalid. It is possible to reveive irqInvalid from
114 return irqInvalid;
117 static uint32_t active_irq[CONFIG_MAX_NUM_NODES] = { irqInvalid };
125 * called. getActiveIRQ returns irqInvalid if no interrupt is pending. It is
127 * irqInvalid. getActiveIRQ will call getNewActiveIRQ and cache its result until
143 irq = irqInvalid;
222 active_irq[CURRENT_CPU_INDEX()] = irqInvalid;
/seL4-l4v-master/seL4/src/plat/bcm2837/machine/
H A Dintc.c37 return irqInvalid;
67 return irqInvalid;
/seL4-l4v-master/seL4/include/plat/pc99/plat/
H A Dmachine.h63 * that comparisons between an irq_t (a uint8_t) and irqInvalid (some kind of signed int)
65 irqInvalid = 255, enumerator in enum:_platform_irq_t
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/
H A Dinterrupt.h69 return irqInvalid;
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c15 if (irq > maxIRQ || irq == irqInvalid) {
/seL4-l4v-master/seL4/src/api/
H A Dsyscall.c47 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
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(irq) != IRQT_TO_IRQ(irqInvalid)) {
716 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
/seL4-l4v-master/seL4/src/plat/imx31/machine/
H A Dhardware.c152 irq_t active_irq = irqInvalid;
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c167 /* irqInvalid cannot correspond to a valid IRQ index into the irq state array */
168 assert(INT_STATE_ARRAY_SIZE < IRQT_TO_IRQ(irqInvalid));
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c106 if (i != irqInvalid) {
107 /* IRQ 0 is irqInvalid */

Completed in 175 milliseconds