Symbol: GICD_ICPENDR
sys/arm64/vmm/io/vgic_v3.c
1159
n = (reg - GICD_ICPENDR(0)) / 4;
sys/arm64/vmm/io/vgic_v3.c
1173
n = (reg - GICD_ICPENDR(0)) / 4;
sys/arm64/vmm/io/vgic_v3.c
279
VGIC_REGISTER_RAZ_WI(GICD_ICPENDR(0), 4, VGIC_32_BIT),
sys/arm64/vmm/io/vgic_v3.c
280
VGIC_REGISTER_RANGE(GICD_ICPENDR(32), GICD_ICPENDR(1024), 4,