Symbol: GICD_ICACTIVER
sys/arm64/vmm/io/vgic_v3.c
1213
n = (reg - GICD_ICACTIVER(0)) / 4;
sys/arm64/vmm/io/vgic_v3.c
1227
n = (reg - GICD_ICACTIVER(0)) / 4;
sys/arm64/vmm/io/vgic_v3.c
287
VGIC_REGISTER_RAZ_WI(GICD_ICACTIVER(0), 4, VGIC_32_BIT),
sys/arm64/vmm/io/vgic_v3.c
288
VGIC_REGISTER_RANGE(GICD_ICACTIVER(32), GICD_ICACTIVER(1024), 4,