Symbol: GICD_PIDR4
sys/arm64/vmm/io/vgic_v3.c
322
VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR4, GICD_PIDR2, 4, VGIC_32_BIT),
sys/arm64/vmm/io/vgic_v3.c
362
VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR4, GICD_PIDR2, 4, VGIC_32_BIT),