Symbol: write_config
sys/arm64/vmm/io/vgic_v3.c
1282
write_config(hypctx, n, wval);
sys/arm64/vmm/io/vgic_v3.c
1610
write_config(hypctx, 1, wval);