Symbol: vmxctx_regptr
sys/amd64/vmm/intel/vmx.c
3328
if ((regp = vmxctx_regptr(vmxctx, reg)) != NULL) {
sys/amd64/vmm/intel/vmx.c
3340
if ((regp = vmxctx_regptr(vmxctx, reg)) != NULL) {