Changes in kernel/generic/src/cpu/cpu.c [cd3b380:44a7ee5] in mainline

File:

• kernel/generic/src/cpu/cpu.c (modified) (2 diffs)

kernel/generic/src/cpu/cpu.c

@@ -45 +45 @@
 #include <config.h>
 #include <panic.h>
-#include <memstr.h>
+#include <mem.h>
 #include <adt/list.h>
 #include <print.h>
 #include <sysinfo/sysinfo.h>
 #include <arch/cycle.h>
+#include <synch/rcu.h>
 
 cpu_t *cpus;
@@ -105 +106 @@
         cpu_identify();
         cpu_arch_init();
+        rcu_cpu_init();
 }