724 	struct arm_saved_state *sv;  in thread_setuserstack()  local
729 	sv = get_user_regs(thread);  in thread_setuserstack()
731 	sv->sp = user_stack;  in thread_setuserstack()
733 	thread_setuserstack_kprintf("stack %x\n", sv->sp);  in thread_setuserstack()
745 	struct arm_saved_state *sv;  in thread_adjuserstack()  local
747 	sv = get_user_regs(thread);  in thread_adjuserstack()
749 	sv->sp += adjust;  in thread_adjuserstack()
751 	return sv->sp;  in thread_adjuserstack()
761 	struct arm_saved_state *sv;  in thread_setentrypoint()  local
766 	sv = get_user_regs(thread);  in thread_setentrypoint()
768 	sv->pc = entry;  in thread_setentrypoint()
770 	thread_setentrypoint_kprintf("entry %x\n", sv->pc);  in thread_setentrypoint()