Changes in kernel/arch/ppc32/src/ppc32.c [0c91cff:20f8111] in mainline

File:

• kernel/arch/ppc32/src/ppc32.c (modified) (2 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>
@@ -100 +99 @@
         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, "clock-frequency");
-        if (!freq_prop)
-                panic("Could not get frequency property.");
-
-        uint32_t freq;
-        freq = *((uint32_t *) freq_prop->value);
-
         /* Start decrementer */
-        decrementer_start(freq / HZ);
+        start_decrementer();
 }