130 		addr_t stackTop = thread->signal_stack_base + thread->signal_stack_size;  in get_signal_stack()  local
131 		return (uint8*)arch_randomize_stack_pointer(stackTop - spaceNeeded);  in get_signal_stack()
240 	uintptr_t* stackTop = static_cast<uintptr_t*>(_stackTop);  in arch_thread_init_kthread_stack()  local
251 	*--stackTop = uintptr_t(data);  in arch_thread_init_kthread_stack()
252 	*--stackTop = uintptr_t(function);  in arch_thread_init_kthread_stack()
255 	thread->arch_info.current_stack = stackTop;  in arch_thread_init_kthread_stack()
277 	addr_t stackTop = thread->user_stack_base + thread->user_stack_size;  in arch_thread_enter_userspace()  local
281 		"stackTop %#lx\n", entry, args1, args2, stackTop);  in arch_thread_enter_userspace()
283 	stackTop = arch_randomize_stack_pointer(stackTop - sizeof(codeAddr));  in arch_thread_enter_userspace()
293 	if (user_memcpy((void*)stackTop, (const void*)&codeAddr, sizeof(codeAddr))  in arch_thread_enter_userspace()
305 	frame.sp = stackTop;  in arch_thread_enter_userspace()