Cross Reference: /vbox/include/VBox/vmm/hm

Lines Matching refs:idxField
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)
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)
2151     unsigned char rcMsc = __vmx_vmwrite(idxField, u64Val);
2158 # define VMXWriteVmcs64(idxField, u64Val)    VMXWriteVmcs64Ex(pVCpu, idxField, u64Val) /** @todo dead ugly, picking up pVCpu like this */
2159 VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val);
2163 # define VMXWriteVmcsHstN(idxField, uVal)       HMVMX_IS_64BIT_HOST_MODE() ?                     \
2164                                                    VMXWriteVmcs64(idxField, uVal)                \
2165                                                  : VMXWriteVmcs32(idxField, uVal)
2166 # define VMXWriteVmcsGstN(idxField, u64Val)     (pVCpu->CTX_SUFF(pVM)->hm.s.fAllow64BitGuests) ? \
2167                                                    VMXWriteVmcs64(idxField, u64Val)              \
2168                                                  : VMXWriteVmcs32(idxField, u64Val)
2171 # define VMXWriteVmcsGstN(idxField, u64Val)     VMXWriteVmcs64Ex(pVCpu, idxField, u64Val)
2202  * @param   idxField        VMCS index
2209 DECLASM(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData);
2211 DECLINLINE(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData)
2227        :"a"(idxField),
2235     rcMsc = __vmx_vmread(idxField, pData);
2238     rcMsc = __vmx_vmread(idxField, &u64Tmp);
2251         mov     eax, [idxField]
2280  * @param   idxField        VMCS index
2287 DECLASM(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData);
2289 DECLINLINE(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData)
2296     rcMsc  = __vmx_vmread(idxField, &uLow);
2297     rcMsc |= __vmx_vmread(idxField + 1, &uHigh);
2300     rcMsc = __vmx_vmread(idxField, pData);
2309     rc  = VMXReadVmcs32(idxField, &val);
2310     rc |= VMXReadVmcs32(idxField + 1, &val_hi);