put_binfmt        154 fs/exec.c      			put_binfmt(fmt);
put_binfmt       1229 fs/exec.c      				put_binfmt(fmt);
put_binfmt       1239 fs/exec.c      			put_binfmt(fmt);