tag	line	file	source code
fpnt	73	fs/binfmt_elf.c	char * fpnt;
fpnt	85	fs/binfmt_elf.c	fpnt = (char *) elf_bss;
fpnt	87	fs/binfmt_elf.c	put_user(0, fpnt++);