720 	struct arm_saved_state *sv;  in thread_setuserstack()  local
725 	sv = get_user_regs(thread);  in thread_setuserstack()
727 	sv->sp = user_stack;  in thread_setuserstack()
729 	thread_setuserstack_kprintf("stack %x\n", sv->sp);  in thread_setuserstack()
741 	struct arm_saved_state *sv;  in thread_adjuserstack()  local
743 	sv = get_user_regs(thread);  in thread_adjuserstack()
745 	sv->sp += adjust;  in thread_adjuserstack()
747 	return sv->sp;  in thread_adjuserstack()
757 	struct arm_saved_state *sv;  in thread_setentrypoint()  local
762 	sv = get_user_regs(thread);  in thread_setentrypoint()
764 	sv->pc = entry;  in thread_setentrypoint()
766 	thread_setentrypoint_kprintf("entry %x\n", sv->pc);  in thread_setentrypoint()