kernel: fix buglet in calculation

There was an error in the overflow check of coarse values. This replaces "> 125*1000*100" with ">= 125*1000*1000" Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

kernel: fix buglet in calculation
There was an error in the overflow check of coarse values. This replaces "> 125*1000*100" with ">= 125*1000*1000" Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
c8a9f374 · Alessandro Rubini · 7ba252aa · c8a9f374 · c8a9f374
Commit c8a9f374 authored May 27, 2013 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

fd-irq.c kernel/fd-irq.c +1 -1

fd-zio.c kernel/fd-zio.c +1 -1

No files found.
--- a/kernel/fd-irq.c
+++ b/kernel/fd-irq.c
@@ -106,7 +106,7 @@ int fd_read_sw_fifo(struct fd_dev *fd, struct zio_channel *chan)
 		t.coarse += 125000000;
 		t.coarse &= 0xfffffff;
 		t.utc--;
-	} else if(t.coarse > 125000000) {
+	} else if(t.coarse >= 125000000) {
 		t.coarse -= 125000000;
 		t.utc++;
 	}

--- a/kernel/fd-zio.c
+++ b/kernel/fd-zio.c
@@ -407,7 +407,7 @@ static void fd_attr_add(uint32_t *a, uint32_t pico)
 		coarse++;
 	}
 	a[__COARSE] += coarse;
-	if (a[__COARSE] > 125*1000*1000) {
+	if (a[__COARSE] >= 125*1000*1000) {
 		a[__COARSE] -= 125*1000*1000;
 		a[__UTC_L]++;
 		if (unlikely(a[__UTC_L] == 0))