Symbol: vgic_register_write
sys/arm64/vmm/io/vgic_v3.c
1434
if (vgic_register_write(hypctx, dist_registers, nitems(dist_registers),
sys/arm64/vmm/io/vgic_v3.c
1751
if (vgic_register_write(target_hypctx, redist_rd_registers,
sys/arm64/vmm/io/vgic_v3.c
1755
if (vgic_register_write(target_hypctx, redist_sgi_registers,