Searched refs:idxField (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.h55 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 DHMR0A.asm378 ; * @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 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 75 milliseconds