/* This is called to read back the register backing store.  */
void ia64_sync_krbs(void)
/* This is called to read back the register backing store.  */
void ia64_sync_krbs(void)
{
	clear_tsk_thread_flag(current, TIF_RESTORE_RSE);
	unw_init_running(do_sync_rbs, ia64_sync_kernel_rbs);
}