speculation_ctrl_update_current
extern void speculation_ctrl_update_current(void);
speculation_ctrl_update_current();