Lines Matching defs:idxField
5177 static bool hmR0VmxIsValidWriteField(uint32_t idxField)
5179 switch (idxField)
5201 static bool hmR0VmxIsValidReadField(uint32_t idxField)
5203 switch (idxField)
5210 return hmR0VmxIsValidWriteField(idxField);
5390 #define VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, idxField) \
5392 Assert(pCache->Read.aField[idxField##_CACHE_IDX] == 0); \
5393 pCache->Read.aField[idxField##_CACHE_IDX] = idxField; \
5394 pCache->Read.aFieldVal[idxField##_CACHE_IDX] = 0; \
5479 * @param idxField The VMCS field encoding.
5482 VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val)
5485 switch (idxField)
5519 rc = VMXWriteVmcs32(idxField, u64Val);
5520 rc |= VMXWriteVmcs32(idxField + 1, (uint32_t)(u64Val >> 32));
5548 rc = VMXWriteVmcs32(idxField, (uint32_t)u64Val);
5554 rc = VMXWriteCachedVmcsEx(pVCpu, idxField, u64Val);
5561 AssertMsgFailed(("VMXWriteVmcs64Ex: Invalid field %#RX32 (pVCpu=%p u64Val=%#RX64)\n", idxField, pVCpu, u64Val));
5576 * @param idxField The VMCS field encoding.
5579 VMMR0DECL(int) VMXWriteCachedVmcsEx(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val)
5590 if (pCache->Write.aField[i] == idxField)
5597 pCache->Write.aField[pCache->Write.cValidEntries] = idxField;