Searched refs:VGIC_SGI_NUM (Results 1 – 1 of 1) sorted by relevance
80 #define VGIC_SGI_NUM (GIC_LAST_SGI - GIC_FIRST_SGI + 1) macro83 #define VGIC_PRV_I_NUM (VGIC_SGI_NUM + VGIC_PPI_NUM)488 if (irqid < VGIC_SGI_NUM) { in vgic_v3_cpuinit()