Searched refs:VGIC_MAX_SPI (Results 1 – 4 of 4) sorted by relevance
38 #define VGIC_MAX_SPI 1019 macro45 (irq) <= VGIC_MAX_SPI)
111 if (intid <= VGIC_MAX_SPI) { in vgic_get_irq()112 intid = array_index_nospec(intid, VGIC_MAX_SPI); in vgic_get_irq()
196 else if (irq->intid < VGIC_MAX_SPI) in print_irq_state()
671 if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI) in __vgic_v3_read_iar()