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