Symbol: vgic_register_read
sys/arm64/vmm/io/vgic_v3.c
1398
if (vgic_register_read(hypctx, dist_registers, nitems(dist_registers),
sys/arm64/vmm/io/vgic_v3.c
1676
if (vgic_register_read(target_hypctx, redist_rd_registers,
sys/arm64/vmm/io/vgic_v3.c
1680
if (vgic_register_read(target_hypctx, redist_sgi_registers,