w_stimecmp         65 kernel/start.c   w_stimecmp(r_time() + 1000000);
w_stimecmp        176 kernel/trap.c    w_stimecmp(r_time() + 1000000);