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