Changes in kernel/arch/ppc32/src/ppc32.c [2902e1bb:4a99c57] in mainline

File:

• kernel/arch/ppc32/src/ppc32.c (modified) (3 diffs)

kernel/arch/ppc32/src/ppc32.c

@@ -47 +47 @@
 #include <mm/page.h>
 #include <mm/km.h>
+#include <time/clock.h>
 #include <abi/proc/uarg.h>
 #include <console/console.h>
@@ -99 +100 @@
         interrupt_init();
         
+        ofw_tree_node_t *cpus_node;
+        ofw_tree_node_t *cpu_node;
+        ofw_tree_property_t *freq_prop;
+
+        cpus_node = ofw_tree_lookup("/cpus");
+        if (!cpus_node)
+                panic("Could not find cpus node.");
+
+        cpu_node = cpus_node->child;
+        if (!cpu_node)
+                panic("Could not find first cpu.");     
+
+        freq_prop = ofw_tree_getprop(cpu_node, "timebase-frequency");
+        if (!freq_prop)
+                panic("Could not get frequency property.");
+
+        uint32_t freq;
+        freq = *((uint32_t *) freq_prop->value);
+
         /* Start decrementer */
-        start_decrementer();
-}
-
+        decrementer_start(freq / HZ);
+}
+
+#ifdef CONFIG_FB
 static bool display_register(ofw_tree_node_t *node, void *arg)
 {
@@ -169 +190 @@
         return true;
 }
+#endif
 
 void arch_post_mm_init(void)