noreturn           78 kernel/defs.h  void            panic(char*) __attribute__((noreturn));
noreturn           95 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));