tag	line	file	source code
fpnt	32	fs/binfmt_elf.c	unsigned int fpnt, nbyte;
fpnt	40	fs/binfmt_elf.c	fpnt = elf_bss;
fpnt	41	fs/binfmt_elf.c	while(fpnt & 0xfff) put_fs_byte(0, fpnt++);