end_op             71 kernel/defs.h  void            end_op(void);
end_op             37 kernel/exec.c      end_op();
end_op             72 kernel/exec.c    end_op();
end_op            138 kernel/exec.c      end_op();
end_op             81 kernel/file.c      end_op();
end_op            167 kernel/file.c        end_op();
end_op            365 kernel/proc.c    end_op();
end_op            134 kernel/sysfile.c     end_op();
end_op            141 kernel/sysfile.c     end_op();
end_op            159 kernel/sysfile.c   end_op();
end_op            168 kernel/sysfile.c   end_op();
end_op            201 kernel/sysfile.c     end_op();
end_op            235 kernel/sysfile.c   end_op();
end_op            241 kernel/sysfile.c   end_op();
end_op            322 kernel/sysfile.c       end_op();
end_op            327 kernel/sysfile.c       end_op();
end_op            333 kernel/sysfile.c       end_op();
end_op            340 kernel/sysfile.c     end_op();
end_op            348 kernel/sysfile.c     end_op();
end_op            368 kernel/sysfile.c   end_op();
end_op            381 kernel/sysfile.c     end_op();
end_op            385 kernel/sysfile.c   end_op();
end_op            401 kernel/sysfile.c     end_op();
end_op            405 kernel/sysfile.c   end_op();
end_op            418 kernel/sysfile.c     end_op();
end_op            424 kernel/sysfile.c     end_op();
end_op            429 kernel/sysfile.c   end_op();