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