Symbol: hypctx_regptr
sys/arm64/vmm/vmm_arm64.c
1289
regp = hypctx_regptr(hypctx, reg);
sys/arm64/vmm/vmm_arm64.c
1309
regp = hypctx_regptr(hypctx, reg);
sys/riscv/vmm/vmm_riscv.c
873
regp = hypctx_regptr(hypctx, reg);
sys/riscv/vmm/vmm_riscv.c
896
regp = hypctx_regptr(hypctx, reg);