Changes in kernel/arch/ia64/src/ia64.c [2f23341:d75628da] in mainline

File:

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

kernel/arch/ia64/src/ia64.c

@@ -50 +50 @@
 #include <userspace.h>
 #include <console/console.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <syscall/syscall.h>
 #include <ddi/irq.h>
@@ -93 +93 @@
 void arch_pre_mm_init(void)
 {
-        /*
-         * Set Interruption Vector Address (i.e. location of interruption vector
-         * table).
-         */
-        iva_write((uintptr_t) &ivt);
-        srlz_d();
-        
 }
 
@@ -151 +144 @@
         /* Set platform name. */
 #ifdef MACHINE_ski
-        platform = "pc";
+        platform = "ski";
 #endif
 #ifdef MACHINE_i460GX