Symbol: CPUIDEBX_IBPB
sys/arch/amd64/include/specialreg.h
384
#define CPUIDEBX_IBPB (1ULL << 12) /* Speculation Control IBPB */
sys/arch/i386/include/specialreg.h
287
#define CPUIDEBX_IBPB (1ULL << 12) /* Speculation Control IBPB */