scheduler          99 kernel/defs.h  void            scheduler(void) __attribute__((noreturn));
scheduler          44 kernel/main.c    scheduler();