X86_FEATURE_VCPUPREEMPT
ALT_NOT(X86_FEATURE_VCPUPREEMPT));
setup_force_cpu_cap(X86_FEATURE_VCPUPREEMPT);