Searched refs:VGIC_MAX_SPI (Results 1 – 3 of 3) sorted by relevance
27 #define VGIC_MAX_SPI 1019 macro34 (irq) <= VGIC_MAX_SPI)
185 else if (irq->intid < VGIC_MAX_SPI) in print_irq_state()
668 if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI) in __vgic_v3_read_iar()
