Symbol: write_pendr
sys/arm64/vmm/io/vgic_v3.c
1150
write_pendr(hypctx, n, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1176
write_pendr(hypctx, n, false, wval);
sys/arm64/vmm/io/vgic_v3.c
1540
write_pendr(hypctx, 0, true, wval);
sys/arm64/vmm/io/vgic_v3.c
1550
write_pendr(hypctx, 0, false, wval);