Searched defs:idxField (Results 1 - 2 of 2) sorted by relevance
/vbox/src/VBox/VMM/VMMR0/ |
H A D | HMVMXR0.cpp | 5177 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 D | hm_vmx.h | 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) 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