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