X86_FEATURE_SBPB
setup_force_cpu_cap(X86_FEATURE_SBPB);
if (boot_cpu_has(X86_FEATURE_SBPB))
guest_cpu_cap_has(vcpu, X86_FEATURE_SBPB));
if (!guest_cpu_cap_has(vcpu, X86_FEATURE_SBPB))
if (!boot_cpu_has(X86_FEATURE_SBPB))