Changes in kernel/arch/ppc32/src/ppc32.c [36df4109:4a99c57] in mainline

File:

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

kernel/arch/ppc32/src/ppc32.c

@@ -33 +33 @@
  */
 
+#include <config.h>
 #include <arch.h>
-#include <arch/arch.h>
-#include <config.h>
 #include <arch/boot/boot.h>
 #include <genarch/drivers/via-cuda/cuda.h>
@@ -62 +61 @@
 #define IRQ_CUDA   10
 
-static void ppc32_pre_mm_init(void);
-static void ppc32_post_mm_init(void);
-static void ppc32_post_smp_init(void);
-
-arch_ops_t ppc32_ops = {
-        .pre_mm_init = ppc32_pre_mm_init,
-        .post_mm_init = ppc32_post_mm_init,
-        .post_smp_init = ppc32_post_smp_init,
-};
-
-arch_ops_t *arch_ops = &ppc32_ops;
-
 bootinfo_t bootinfo;
 
@@ -80 +67 @@
 
 /** Performs ppc32-specific initialization before main_bsp() is called. */
-void ppc32_pre_main(bootinfo_t *bootinfo)
+void arch_pre_main(bootinfo_t *bootinfo)
 {
         /* Copy tasks map. */
@@ -108 +95 @@
 }
 
-void ppc32_pre_mm_init(void)
+void arch_pre_mm_init(void)
 {
         /* Initialize dispatch table */
@@ -205 +192 @@
 #endif
 
-void ppc32_post_mm_init(void)
+void arch_post_mm_init(void)
 {
         if (config.cpu_active == 1) {
@@ -220 +207 @@
                 zone_merge_all();
         }
+}
+
+void arch_post_cpu_init(void)
+{
+}
+
+void arch_pre_smp_init(void)
+{
 }
 
@@ -278 +273 @@
 }
 
-void ppc32_post_smp_init(void)
+void arch_post_smp_init(void)
 {
         /* Currently the only supported platform for ppc32 is 'mac'. */