Changes in kernel/arch/ia64/src/ia64.c [adec5b45:26f407e9] in mainline

File:

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

kernel/arch/ia64/src/ia64.c

@@ -127 +127 @@
 }
 
-void arch_post_cpu_init(void){
+void arch_post_cpu_init(void)
+{
 }
 
@@ -143 +144 @@
 #endif
 #ifdef MACHINE_i460GX
-        platform = "i460GX";
+        platform = "pc";
 #endif
         sysinfo_set_item_data("platform", NULL, (void *) platform,
@@ -187 +188 @@
         sysinfo_set_item_val("kbd.address.physical", NULL,
             (uintptr_t) NS16550_BASE);
-        sysinfo_set_item_val("kbd.address.kernel", NULL,
-            (uintptr_t) NS16550_BASE);
 #endif
         
 #ifdef CONFIG_I8042
-        i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
+        i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,
+            IRQ_KBD);
         if (i8042_instance) {
                 kbrd_instance_t *kbrd_instance = kbrd_init();
@@ -201 +201 @@
                 }
         }
-        
-        sysinfo_set_item_val("i8042", NULL, true);
-        sysinfo_set_item_val("i8042.inr_a", NULL, IRQ_KBD);
-        sysinfo_set_item_val("i8042.inr_b", NULL, IRQ_MOUSE);
-        sysinfo_set_item_val("i8042.address.physical", NULL,
-            (uintptr_t) I8042_BASE);
-        sysinfo_set_item_val("i8042.address.kernel", NULL,
-            (uintptr_t) I8042_BASE);
-#endif
-
-        sysinfo_set_item_val("netif.ne2000.inr", NULL, IRQ_NE2000);
-
+#endif
+        
         sysinfo_set_item_val("ia64_iospace", NULL, true);
         sysinfo_set_item_val("ia64_iospace.address", NULL, true);