From bb613bf3c0346dc041637706447b27e4c599ba1c Mon Sep 17 00:00:00 2001 From: Daniel Walker Date: Thu, 18 Oct 2007 03:06:11 -0700 Subject: [PATCH] --- yaml --- r: 71184 b: refs/heads/master c: 5b4db0c2f25925fcfc17fa7233b7b90dc023d207 h: refs/heads/master v: v3 --- [refs] | 2 +- trunk/kernel/timer.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/[refs] b/[refs] index 41f0d1e18373..cde55baa630d 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 0719e3702e3ad81c51aec993a641a7d84d3ac618 +refs/heads/master: 5b4db0c2f25925fcfc17fa7233b7b90dc023d207 diff --git a/trunk/kernel/timer.c b/trunk/kernel/timer.c index 6ce1952eea7d..0735f0aa3afb 100644 --- a/trunk/kernel/timer.c +++ b/trunk/kernel/timer.c @@ -817,7 +817,7 @@ unsigned long next_timer_interrupt(void) #endif /* - * Called from the timer interrupt handler to charge one tick to the current + * Called from the timer interrupt handler to charge one tick to the current * process. user_tick is 1 if the tick is user time, 0 for system. */ void update_process_times(int user_tick)