Symbol: vmxctx_regptr
usr/src/uts/intel/io/vmm/intel/vmx.c
3093
if ((regp = vmxctx_regptr(&vmx->ctx[vcpu], reg)) != NULL) {
usr/src/uts/intel/io/vmm/intel/vmx.c
3141
if ((regp = vmxctx_regptr(&vmx->ctx[vcpu], reg)) != NULL) {