1 files changed, 2 insertions, 2 deletions
diff --git a/kern/percpu.h b/kern/percpu.h
index 385930a1..87d14703 100644
--- a/kern/percpu.h
+++ b/kern/percpu.h
@@ -86,10 +86,10 @@ extern char _percpu_end;
 static inline void *
 percpu_area(unsigned int cpu)
 {
-    extern void *percpu_areas[X15_MAX_CPUS];
+    extern void *percpu_areas[CONFIG_MAX_CPUS];
     void *area;
 
-    assert(cpu < X15_MAX_CPUS);
+    assert(cpu < CONFIG_MAX_CPUS);
     area = percpu_areas[cpu];
     assert(area != NULL);
     return area;