Symbol: read_pendr
sys/arm64/vmm/io/vgic_v3.c
1136
*rval = read_pendr(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1162
*rval = read_pendr(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1531
*rval = read_pendr(hypctx, 0);