Symbol: write_enabler
sys/arm64/vmm/io/vgic_v3.c
1098
write_enabler(hypctx, n, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1124
write_enabler(hypctx, n, false, wval);
sys/arm64/vmm/io/vgic_v3.c
1513
write_enabler(hypctx, 0, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1523
write_enabler(hypctx, 0, false, wval);