Lines Matching refs:u64Val
2140 * @param u64Val 16, 32 or 64 bits value
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);
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)