timer: global_counterを10ミリ秒単位から1ミリ秒単位のカウントへ変更

Author: Yuma Arakawa

apps/uptime.c

@@ -9,7 +9,7 @@ void uptime_start(void)
 	unsigned int cursor_pos_y;
 
 	while (1) {
-		uptime = syscall(SYSCALL_TIMER_GET_GLOBAL_COUNTER, 0, 0, 0) / 100;
+		uptime = syscall(SYSCALL_TIMER_GET_GLOBAL_COUNTER, 0, 0, 0) / 1000;
 		cursor_pos_y = syscall(SYSCALL_CON_GET_CURSOR_POS_Y, 0, 0, 0);
 		if (cursor_pos_y < ROWS) {
 			syscall(SYSCALL_CON_PUT_STR_POS, (unsigned int)"uptime:", COLUMNS - (7 + 4), 0);

kernel/timer.c

@@ -7,7 +7,7 @@ unsigned int global_counter = 0;
 
 void do_ir_timer(void)
 {
-	global_counter++;
+	global_counter += TIMER_TICK_MS;
 	sched_update_wakeupq();
 	schedule();
 }