Symbol: VGIC_IIDR
sys/arm64/vmm/io/vgic_v3.c
1058
*rval = VGIC_IIDR;
sys/arm64/vmm/io/vgic_v3.c
1459
*rval = VGIC_IIDR;