Searched defs:idxField (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp5177 static bool hmR0VmxIsValidWriteField(uint32_t idxField) argument
5179 switch (idxField)
5201 static bool hmR0VmxIsValidReadField(uint32_t idxField) argument
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_ID
5482 VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val) argument
5579 VMXWriteCachedVmcsEx(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val) argument
[all...]
/vbox/include/VBox/vmm/
H A Dhm_vmx.h2071 * @param idxField VMCS index
2078 DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val);
2080 DECLINLINE(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val) argument
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) argument
2151 unsigned char rcMsc = __vmx_vmwrite(idxField, u64Va
2211 VMXReadVmcs32(uint32_t idxField, uint32_t *pData) argument
2289 VMXReadVmcs64(uint32_t idxField, uint64_t *pData) argument
[all...]

Completed in 76 milliseconds