Searched defs:stack_ptr (Results 1 – 1 of 1) sorted by relevance
407 user_addr_t* stack_ptr) { in user_stack_alloc()435 user_addr_t* stack_ptr) { in add_to_user_stack()456 user_addr_t* stack_ptr, in trusty_thread_write_elf_tables()510 user_addr_t stack_ptr = trusty_thread->stack_start; in trusty_thread_startup() local