Changes in kernel/arch/ppc32/src/ppc32.c [1b20da0:a35b458] in mainline

File:

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

kernel/arch/ppc32/src/ppc32.c

@@ -91 +91 @@
                     bootinfo->taskmap.tasks[i].name);
         }
-        
+
         /* Copy physical memory map. */
         memmap.total = bootinfo->memmap.total;
@@ -99 +99 @@
                 memmap.zones[i].size = bootinfo->memmap.zones[i].size;
         }
-        
+
         /* Copy boot allocations info. */
         ballocs.base = bootinfo->ballocs.base;
         ballocs.size = bootinfo->ballocs.size;
-        
+
         /* Copy OFW tree. */
         ofw_tree_init(bootinfo->ofw_root);
@@ -112 +112 @@
         /* Initialize dispatch table */
         interrupt_init();
-        
+
         ofw_tree_node_t *cpus_node;
         ofw_tree_node_t *cpu_node;
@@ -144 +144 @@
         uint32_t fb_scanline = 0;
         unsigned int visual = VISUAL_UNKNOWN;
-        
+
         ofw_tree_property_t *prop = ofw_tree_getprop(node, "address");
         if ((prop) && (prop->value))
                 fb_addr = *((uintptr_t *) prop->value);
-        
+
         prop = ofw_tree_getprop(node, "width");
         if ((prop) && (prop->value))
                 fb_width = *((uint32_t *) prop->value);
-        
+
         prop = ofw_tree_getprop(node, "height");
         if ((prop) && (prop->value))
                 fb_height = *((uint32_t *) prop->value);
-        
+
         prop = ofw_tree_getprop(node, "depth");
         if ((prop) && (prop->value)) {
@@ -180 +180 @@
                 }
         }
-        
+
         prop = ofw_tree_getprop(node, "linebytes");
         if ((prop) && (prop->value))
                 fb_scanline = *((uint32_t *) prop->value);
-        
+
         if ((fb_addr) && (fb_width > 0) && (fb_height > 0)
             && (fb_scanline > 0) && (visual != VISUAL_UNKNOWN)) {
@@ -195 +195 @@
                         .visual = visual,
                 };
-                
+
                 outdev_t *fbdev = fb_init(&fb_prop);
                 if (fbdev)
                         stdout_wire(fbdev);
         }
-        
+
         return true;
 }
@@ -213 +213 @@
                 /* Map OFW information into sysinfo */
                 ofw_sysinfo_map();
-                
+
                 /* Initialize IRQ routing */
                 irq_init(IRQ_COUNT, IRQ_COUNT);
-                
+
                 /* Merge all zones to 1 big zone */
                 zone_merge_all();
@@ -225 +225 @@
 {
         ofw_pci_reg_t *assigned_address = NULL;
-        
+
         ofw_tree_property_t *prop = ofw_tree_getprop(node, "assigned-addresses");
         if ((prop) && (prop->value))
                 assigned_address = ((ofw_pci_reg_t *) prop->value);
-        
+
         if (assigned_address) {
                 /* Initialize PIC */
                 pic_init(assigned_address[0].addr, PAGE_SIZE, &pic_cir,
                     &pic_cir_arg);
-                
+
 #ifdef CONFIG_MAC_KBD
                 uintptr_t pa = assigned_address[0].addr + 0x16000;
@@ -240 +240 @@
                 size_t offset = pa - aligned_addr;
                 size_t size = 2 * PAGE_SIZE;
-                
+
                 cuda_t *cuda = (cuda_t *) (km_map(aligned_addr, offset + size,
                     PAGE_WRITE | PAGE_NOT_CACHEABLE) + offset);
-                
+
                 /* Initialize I/O controller */
                 cuda_instance_t *cuda_instance =
@@ -256 +256 @@
                         }
                 }
-                
+
                 /*
                  * This is the necessary evil until the userspace driver is entirely
@@ -266 +266 @@
 #endif
         }
-        
+
         /* Consider only a single device for now */
         return false;
@@ -299 +299 @@
             kernel_uarg->uspace_stack_size - SP_DELTA,
             (uintptr_t) kernel_uarg->uspace_entry);
-        
+
         /* Unreachable */
         while (true);