Changes in kernel/arch/ppc32/src/mm/page.c [1cab9972:7e752b2] in mainline

File:

• kernel/arch/ppc32/src/mm/page.c (modified) (1 diff)

kernel/arch/ppc32/src/mm/page.c

@@ -43 +43 @@
         if (config.cpu_active == 1)
                 page_mapping_operations = &pt_mapping_operations;
-        as_switch(NULL, AS_KERNEL);
 }