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