noreturn           23 defs.h         void            panic(char*) __attribute__((noreturn));
noreturn          115 defs.h         void            scheduler(void) __attribute__((noreturn));
noreturn           10 main.c         static void mpmain(void)  __attribute__((noreturn));
noreturn            6 user.h         int exit(void) __attribute__((noreturn));