put_binfmt        164 fs/exec.c      		put_binfmt(fmt);
put_binfmt       1665 fs/exec.c      		put_binfmt(fmt);