Symbol: CPUIDEBX_IBRS_ALWAYSON
sys/arch/amd64/include/specialreg.h
387
#define CPUIDEBX_IBRS_ALWAYSON (1ULL << 16) /* IBRS always on mode */
sys/arch/i386/include/specialreg.h
290
#define CPUIDEBX_IBRS_ALWAYSON (1ULL << 16) /* IBRS always on mode */