1 files changed, 1 insertions, 1 deletions
diff --git a/kern/percpu.h b/kern/percpu.h
index 87d14703..b196acbe 100644
--- a/kern/percpu.h
+++ b/kern/percpu.h
@@ -89,7 +89,7 @@ percpu_area(unsigned int cpu)
     extern void *percpu_areas[CONFIG_MAX_CPUS];
     void *area;
 
-    assert(cpu < CONFIG_MAX_CPUS);
+    assert(cpu < ARRAY_SIZE(percpu_areas));
     area = percpu_areas[cpu];
     assert(area != NULL);
     return area;