Lines Matching refs:idxField
2071 * @param idxField VMCS index
2078 DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val);
2080 DECLINLINE(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val)
2095 "a"(idxField),
2101 unsigned char rcMsc = __vmx_vmwrite(idxField, u32Val);
2111 mov eax, [idxField]
2139 * @param idxField VMCS index
2147 DECLASM(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val);
2149 DECLINLINE(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val)
2151 unsigned char rcMsc = __vmx_vmwrite(idxField, u64Val);
2158 # define VMXWriteVmcs64(idxField, u64Val) VMXWriteVmcs64Ex(pVCpu, idxField, u64Val) /** @todo dead ugly, picking up pVCpu like this */
2159 VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val);
2163 # define VMXWriteVmcsHstN(idxField, uVal) HMVMX_IS_64BIT_HOST_MODE() ? \
2164 VMXWriteVmcs64(idxField, uVal) \
2165 : VMXWriteVmcs32(idxField, uVal)
2166 # define VMXWriteVmcsGstN(idxField, u64Val) (pVCpu->CTX_SUFF(pVM)->hm.s.fAllow64BitGuests) ? \
2167 VMXWriteVmcs64(idxField, u64Val) \
2168 : VMXWriteVmcs32(idxField, u64Val)
2171 # define VMXWriteVmcsGstN(idxField, u64Val) VMXWriteVmcs64Ex(pVCpu, idxField, u64Val)
2202 * @param idxField VMCS index
2209 DECLASM(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData);
2211 DECLINLINE(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData)
2227 :"a"(idxField),
2235 rcMsc = __vmx_vmread(idxField, pData);
2238 rcMsc = __vmx_vmread(idxField, &u64Tmp);
2251 mov eax, [idxField]
2280 * @param idxField VMCS index
2287 DECLASM(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData);
2289 DECLINLINE(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData)
2296 rcMsc = __vmx_vmread(idxField, &uLow);
2297 rcMsc |= __vmx_vmread(idxField + 1, &uHigh);
2300 rcMsc = __vmx_vmread(idxField, pData);
2309 rc = VMXReadVmcs32(idxField, &val);
2310 rc |= VMXReadVmcs32(idxField + 1, &val_hi);