Symbol: write_priorityr
sys/arm64/vmm/io/vgic_v3.c
1257
write_priorityr(hypctx, irq_base, size, wval);
sys/arm64/vmm/io/vgic_v3.c
1595
write_priorityr(hypctx, irq_base, size, wval);