tag	line	file	source code
passed_fileno	69	fs/binfmt_elf.c	char passed_fileno[6];
passed_fileno	176	fs/binfmt_elf.c	sprintf(passed_fileno, "%d", elf_exec_fileno);
passed_fileno	177	fs/binfmt_elf.c	passed_p = passed_fileno;
passed_fileno	311	fs/binfmt_elf.c	if(elf_interpreter) current->arg_start += strlen(passed_fileno) + 1;