Symbol: read_priorityr
sys/arm64/vmm/io/vgic_v3.c
1244
*rval = read_priorityr(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1584
*rval = read_priorityr(hypctx, n);