taglinefilesource code
fpnt80fs/binfmt_elf.cchar * fpnt;
fpnt86fs/binfmt_elf.cfpnt = (char *) elf_bss;
fpnt88fs/binfmt_elf.cput_user(0, fpnt++);