timerinit           8 kernel/start.c void timerinit();
timerinit          41 kernel/start.c   timerinit();