spec_ctrl_current
extern u64 spec_ctrl_current(void);
spec_ctrl_current() | SPEC_CTRL_IBRS, \
spec_ctrl_current(), \
EXPORT_SYMBOL_GPL(spec_ctrl_current);
u64 val = spec_ctrl_current() | (x86_spec_ctrl_base & SPEC_CTRL_STIBP);
u64 spec_ctrl = spec_ctrl_current();