Searched refs:VCPU_WORKAROUND_2_FLAG (Results 1 – 3 of 3) sorted by relevance
131 vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG; in kvm_reset_vcpu()
24 #define VCPU_WORKAROUND_2_FLAG (_AC(1, UL) << VCPU_WORKAROUND_2_FLAG_SHIFT) macro
461 return !(vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG); in __needs_ssbd_off()
