tag	line	file	source code
passed_fileno	355	fs/binfmt_elf.c	char passed_fileno[6];
passed_fileno	501	fs/binfmt_elf.c	sprintf(passed_fileno, "%d", elf_exec_fileno);
passed_fileno	502	fs/binfmt_elf.c	passed_p = passed_fileno;
passed_fileno	643	fs/binfmt_elf.c	current->mm->arg_start += strlen(passed_fileno) + 1;