noreturn           81 kernel/defs.h  void            panic(char*) __attribute__((noreturn));
noreturn           99 kernel/defs.h  void            scheduler(void) __attribute__((noreturn));
noreturn           55 user/sh.c      void runcmd(struct cmd*) __attribute__((noreturn));
noreturn            5 user/user.h    int exit(int) __attribute__((noreturn));