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