Symbol: VGIC_SGI_NUM
sys/arm64/vmm/io/vgic_v3.c
488
if (irqid < VGIC_SGI_NUM) {
sys/arm64/vmm/io/vgic_v3.c
83
#define VGIC_PRV_I_NUM (VGIC_SGI_NUM + VGIC_PPI_NUM)