tag	line	file	source code
fpnt	74	fs/binfmt_elf.c	char * fpnt;
fpnt	86	fs/binfmt_elf.c	fpnt = (char *) elf_bss;
fpnt	88	fs/binfmt_elf.c	put_user(0, fpnt++);