Symbol: CPUIDEBX_IBRS
sys/arch/amd64/include/specialreg.h
385
#define CPUIDEBX_IBRS (1ULL << 14) /* Speculation Control IBRS */
sys/arch/i386/include/specialreg.h
288
#define CPUIDEBX_IBRS (1ULL << 14) /* Speculation Control IBRS */