end_op             68 kernel/defs.h  void            end_op(void);
end_op             43 kernel/exec.c      end_op();
end_op             80 kernel/exec.c    end_op();
end_op            147 kernel/exec.c      end_op();
end_op             81 kernel/file.c      end_op();
end_op            165 kernel/file.c        end_op();
end_op            405 kernel/fs.c          end_op();
end_op            344 kernel/proc.c    end_op();
end_op            134 kernel/sysfile.c     end_op();
end_op            141 kernel/sysfile.c     end_op();
end_op            147 kernel/sysfile.c     end_op();
end_op            172 kernel/sysfile.c   end_op();
end_op            181 kernel/sysfile.c   end_op();
end_op            214 kernel/sysfile.c     end_op();
end_op            248 kernel/sysfile.c   end_op();
end_op            254 kernel/sysfile.c   end_op();
end_op            346 kernel/sysfile.c       end_op();
end_op            351 kernel/sysfile.c       end_op();
end_op            357 kernel/sysfile.c       end_op();
end_op            364 kernel/sysfile.c     end_op();
end_op            372 kernel/sysfile.c     end_op();
end_op            392 kernel/sysfile.c   end_op();
end_op            405 kernel/sysfile.c     end_op();
end_op            409 kernel/sysfile.c   end_op();
end_op            425 kernel/sysfile.c     end_op();
end_op            429 kernel/sysfile.c   end_op();
end_op            442 kernel/sysfile.c     end_op();
end_op            448 kernel/sysfile.c     end_op();
end_op            453 kernel/sysfile.c   end_op();