1 files changed, 7 insertions, 2 deletions
diff --git a/kern/percpu.h b/kern/percpu.h
index 87d1470..e53f4e5 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;
@@ -106,13 +106,18 @@ int percpu_add(unsigned int cpu);
 
 /*
  * This init operation provides :
- *  - percpu section is registered as the BSP percpu area
+ *  - access to percpu variables on processor 0
  */
 INIT_OP_DECLARE(percpu_bootstrap);
 
 /*
  * This init operation provides :
  *  - new percpu areas can be created
+ *
+ * The dependency that provides access to percpu variables on all processors
+ * is cpu_mp_probe.
+ *
+ * TODO Add percpu alias to cpu_mp_probe.
  */
 INIT_OP_DECLARE(percpu_setup);