Symbol: SPEC_CTRL_IBRS
src/add-ons/kernel/drivers/nvmm/include/machine/specialreg.h
544
#define SPEC_CTRL_IBRS 0x00000001
src/libs/nvmm/driver/include/machine/specialreg.h
544
#define SPEC_CTRL_IBRS 0x00000001