Searched refs:argc_ptr (Results 1 – 1 of 1) sorted by relevance
499 user_addr_t argc_ptr = add_to_user_stack(trusty_thread, &argc, sizeof(argc), in trusty_thread_write_elf_tables() local502 return argc_ptr; in trusty_thread_write_elf_tables()