/* Intel-defined CPU features, CPUID level 0x00000007:0 (edx) */
#define X86_FEATURE_IBRSB 26 /* IBRS and IBPB support (used by Intel) */
#define X86_FEATURE_STIBP 27 /* STIBP */
+#define X86_FEATURE_SSBD 31 /* MSR_SPEC_CTRL.SSBD available */
#endif /* __LIBXC_CPUFEATURE_H */
bitmaskof(X86_FEATURE_SMAP) |
bitmaskof(X86_FEATURE_FSGSBASE));
regs[3] &= (bitmaskof(X86_FEATURE_IBRSB) |
- bitmaskof(X86_FEATURE_STIBP));
+ bitmaskof(X86_FEATURE_STIBP) |
+ bitmaskof(X86_FEATURE_SSBD));
} else
regs[1] = regs[3] = 0;
regs[0] = regs[2] = 0;
bitmaskof(X86_FEATURE_ADX) |
bitmaskof(X86_FEATURE_FSGSBASE));
regs[3] &= (bitmaskof(X86_FEATURE_IBRSB) |
- bitmaskof(X86_FEATURE_STIBP));
+ bitmaskof(X86_FEATURE_STIBP) |
+ bitmaskof(X86_FEATURE_SSBD));
}
else
regs[1] = regs[3] = 0;