Searched defs:argc_ptr (Results 1 – 2 of 2) sorted by relevance
46 char **ss_parse(int sci_idx, register char *line_ptr, int *argc_ptr) in ss_parse()
501 user_addr_t argc_ptr = add_to_user_stack(trusty_thread, &argc, sizeof(argc), in trusty_thread_write_elf_tables() local