tag	line	file	source code
passed_fileno	283	ibcs/binfmt_elf.c	char passed_fileno[6];
passed_fileno	407	ibcs/binfmt_elf.c	sprintf(passed_fileno, "%d", elf_exec_fileno);
passed_fileno	408	ibcs/binfmt_elf.c	passed_p = passed_fileno;
passed_fileno	532	ibcs/binfmt_elf.c	current->mm->arg_start += strlen(passed_fileno) + 1;