Symbol: write_activer
sys/arm64/vmm/io/vgic_v3.c
1203
write_activer(hypctx, n, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1230
write_activer(hypctx, n, false, wval);
sys/arm64/vmm/io/vgic_v3.c
1565
write_activer(hypctx, 0, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1573
write_activer(hypctx, 0, false, wval);