Searched refs:idxField (Results 1 - 4 of 4) sorted by relevance
/vbox/src/VBox/VMM/VMMR0/ |
H A D | HMVMXR0.h | 55 VMMR0DECL(int) VMXWriteCachedVmcsEx(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val); 68 # define VMXReadVmcsHstN(idxField, p64Val) HMVMX_IS_64BIT_HOST_MODE() ? \ 69 VMXReadVmcs64(idxField, p64Val) \ 71 VMXReadVmcs32(idxField, (uint32_t *)(p64Val))) 76 # define VMXReadVmcsGstN(idxField, pVal) VMXReadCachedVmcsEx(pVCpu, idxField##_CACHE_IDX, pVal) 77 # define VMXReadVmcsGstNByIdxVal(idxField, pVal) VMXReadCachedVmcsEx(pVCpu, idxField, pVal)
|
H A D | HMR0A.asm | 378 ; * @param idxField x86: [ebp + 08h] msc: rcx gcc: rdi VMCS index 394 mov ecx, [esp + 4] ; idxField 444 ; * @param idxField VMCS index 447 ;DECLASM(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData); 461 mov ecx, [esp + 4] ; idxField 511 ; * @param idxField VMCS index 514 ;DECLASM(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pu32Data); 530 mov ecx, [esp + 4] ; idxField 576 ; * @param idxField VMCS index 579 ;DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_ [all...] |
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 59 milliseconds