Lines Matching defs:rcMsc
1883 unsigned char rcMsc = __vmx_on(&pVMXOn);
1884 if (RT_LIKELY(rcMsc == 0))
1886 return rcMsc == 2 ? VERR_VMX_INVALID_VMXON_PTR : VERR_VMX_VMXON_FAILED;
1973 unsigned char rcMsc = __vmx_vmclear(&pVMCS);
1974 if (RT_LIKELY(rcMsc == 0))
2029 unsigned char rcMsc = __vmx_vmptrld(&pVMCS);
2030 if (RT_LIKELY(rcMsc == 0))
2101 unsigned char rcMsc = __vmx_vmwrite(idxField, u32Val);
2102 if (RT_LIKELY(rcMsc == 0))
2104 return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
2151 unsigned char rcMsc = __vmx_vmwrite(idxField, u64Val);
2152 if (RT_LIKELY(rcMsc == 0))
2154 return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
2233 unsigned char rcMsc;
2235 rcMsc = __vmx_vmread(idxField, pData);
2238 rcMsc = __vmx_vmread(idxField, &u64Tmp);
2241 if (RT_LIKELY(rcMsc == 0))
2243 return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
2292 unsigned char rcMsc;
2296 rcMsc = __vmx_vmread(idxField, &uLow);
2297 rcMsc |= __vmx_vmread(idxField + 1, &uHigh);
2300 rcMsc = __vmx_vmread(idxField, pData);
2302 if (RT_LIKELY(rcMsc == 0))
2304 return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;