Lines Matching defs:value
74 * Set osvw_len to higher value when updated Revision Guides
150 * count value. On VMRUN this value is loaded into an internal counter.
161 * VMCB. The threshold value is a cycle count that is used to reset the
163 * count value from VMCB into an internal counter. Then, on each pause
170 * value is less than zero and PAUSE intercept is enabled, a #VMEXIT is
629 * Set the default value, even if we don't use TSC scaling
630 * to avoid having stale value in the msr
672 * Since Linux does not change the value of TSC_AUX once set, prime the
1994 static void svm_set_dr6(struct vcpu_svm *svm, unsigned long value)
2001 if (unlikely(value != vmcb->save.dr6)) {
2002 vmcb->save.dr6 = value;
2028 static void svm_set_dr7(struct kvm_vcpu *vcpu, unsigned long value)
2035 svm->vmcb->save.dr7 = value;
2124 u64 value;
2129 value = native_read_msr_safe(MSR_IA32_MC0_STATUS, &err);
2134 value &= ~(1ULL << 62);
2136 if (value != 0xb600000000010015ULL)
2143 value = native_read_msr_safe(MSR_IA32_MCG_STATUS, &err);
2147 value &= ~(1ULL << 2);
2148 low = lower_32_bits(value);
2149 high = upper_32_bits(value);
2407 void svm_set_gif(struct vcpu_svm *svm, bool value)
2409 if (value) {
2987 * leave this MSR at the default value.
2991 * Ignore this value as well.
3128 * Old kernels did not validate the value written to
3130 * value to allow live migrating buggy or malicious guests
4179 * If this vCPU has touched SPEC_CTRL, restore the guest's value if