Symbol: gic_pidr2_read
sys/arm64/vmm/io/vgic_v3.c
199
static register_read gic_pidr2_read;
sys/arm64/vmm/io/vgic_v3.c
323
VGIC_REGISTER(GICD_PIDR2, 4, VGIC_32_BIT, gic_pidr2_read,
sys/arm64/vmm/io/vgic_v3.c
363
VGIC_REGISTER(GICD_PIDR2, 4, VGIC_32_BIT, gic_pidr2_read,