tag	line	file	source code
passed_fileno	275	fs/binfmt_elf.c	char passed_fileno[6];
passed_fileno	399	fs/binfmt_elf.c	sprintf(passed_fileno, "%d", elf_exec_fileno);
passed_fileno	400	fs/binfmt_elf.c	passed_p = passed_fileno;
passed_fileno	515	fs/binfmt_elf.c	current->arg_start += strlen(passed_fileno) + 1;