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

File:

• kernel/arch/ia64/src/ia64.c (modified) (8 diffs)

kernel/arch/ia64/src/ia64.c

@@ -108 +108 @@
             PAGE_WRITE | PAGE_NOT_CACHEABLE);
         int i;
-
+        
         int myid, myeid;
-
+        
         myid = ia64_get_cpu_id();
         myeid = ia64_get_cpu_eid();
@@ -167 +167 @@
                 }
         }
-
+        
         outdev_t *skidev = skiout_init();
         if (skidev)
                 stdout_wire(skidev);
 #endif
-
+        
 #ifdef CONFIG_EGA
         outdev_t *egadev = ega_init(EGA_BASE, EGA_VIDEORAM);
@@ -178 +178 @@
                 stdout_wire(egadev);
 #endif
-
+        
 #ifdef CONFIG_NS16550
         ns16550_instance_t *ns16550_instance
@@ -191 +191 @@
                 }
         }
-
+        
         sysinfo_set_item_val("kbd", NULL, true);
         sysinfo_set_item_val("kbd.inr", NULL, NS16550_IRQ);
@@ -198 +198 @@
             (uintptr_t) NS16550_BASE);
 #endif
-
+        
 #ifdef CONFIG_I8042
         i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,
@@ -211 +211 @@
         }
 #endif
-
+        
         sysinfo_set_item_val("ia64_iospace", NULL, true);
         sysinfo_set_item_val("ia64_iospace.address", NULL, true);
@@ -251 +251 @@
             kernel_uarg->uspace_stack_size / 2,
             (uintptr_t) kernel_uarg->uspace_uarg, psr.value, rsc.value);
-
+        
         while (1);
 }
@@ -274 +274 @@
         fptr->fnc = (sysarg_t) addr;
         fptr->gp = ((sysarg_t *) caller)[1];
-
+        
         return (void *) fptr;
 }