Changes in kernel/arch/ia64/src/ia64.c [f902d36:a71c158] in mainline

File:

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

kernel/arch/ia64/src/ia64.c

@@ -40 +40 @@
 #include <arch/asm.h>
 #include <arch/register.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <arch/context.h>
 #include <arch/stack.h>
 #include <arch/mm/page.h>
-#include <interrupt.h>
 #include <mm/as.h>
 #include <config.h>
-#include <macros.h>
 #include <userspace.h>
 #include <console/console.h>
@@ -67 +65 @@
 #include <print.h>
 #include <sysinfo/sysinfo.h>
-#include <str.h>
+#include <string.h>
 
 /* NS16550 as a COM 1 */
@@ -79 +77 @@
 void arch_pre_main(void)
 {
-        init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
-        size_t i;
+        /* Setup usermode init tasks. */
+
+        unsigned int i;
+        
+        init.cnt = bootinfo->taskmap.count;
+        
         for (i = 0; i < init.cnt; i++) {
                 init.tasks[i].addr =
@@ -104 +106 @@
 static void iosapic_init(void)
 {
-        uint64_t IOSAPIC = PA2KA((sysarg_t)(iosapic_base)) | FW_OFFSET;
+        uint64_t IOSAPIC = PA2KA((unative_t)(iosapic_base)) | FW_OFFSET;
         int i;
         
@@ -147 +149 @@
 void arch_post_smp_init(void)
 {
-        static const char *platform;
-
-        /* Set platform name. */
-#ifdef MACHINE_ski
-        platform = "pc";
-#endif
-#ifdef MACHINE_i460GX
-        platform = "i460GX";
-#endif
-        sysinfo_set_item_data("platform", NULL, (void *) platform,
-            str_size(platform));
-
 #ifdef MACHINE_ski
         ski_instance_t *ski_instance = skiin_init();
@@ -213 +203 @@
         }
         
-        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,
+        sysinfo_set_item_val("kbd", NULL, true);
+        sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
+        sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY);
+        sysinfo_set_item_val("kbd.address.physical", NULL,
             (uintptr_t) I8042_BASE);
-        sysinfo_set_item_val("i8042.address.kernel", NULL,
+        sysinfo_set_item_val("kbd.address.kernel", NULL,
             (uintptr_t) I8042_BASE);
 #endif
-
-        sysinfo_set_item_val("netif.ne2000.inr", NULL, IRQ_NE2000);
-
+        
         sysinfo_set_item_val("ia64_iospace", NULL, true);
         sysinfo_set_item_val("ia64_iospace.address", NULL, true);
@@ -263 +251 @@
  * We use r13 (a.k.a. tp) for this purpose.
  */
-sysarg_t sys_tls_set(sysarg_t addr)
+unative_t sys_tls_set(unative_t addr)
 {
         return 0;
@@ -286 +274 @@
 void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller)
 {
-        fptr->fnc = (sysarg_t) addr;
-        fptr->gp = ((sysarg_t *) caller)[1];
+        fptr->fnc = (unative_t) addr;
+        fptr->gp = ((unative_t *) caller)[1];
         
         return (void *) fptr;
 }
 
-void irq_initialize_arch(irq_t *irq)
-{
-        (void) irq;
-}
-
 /** @}
  */