restore_from_user_fp
void restore_from_user_fp(struct user_fp *user_fp);
restore_from_user_fp(&next->thread.user_fp);
restore_from_user_fp(&user_fp);