Changes in kernel/arch/ia64/src/ia64.c [d75628da:2f23341] 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 <abi/proc/uarg.h>
+#include <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();
+        
 }
 
@@ -144 +151 @@
         /* Set platform name. */
 #ifdef MACHINE_ski
-        platform = "ski";
+        platform = "pc";
 #endif
 #ifdef MACHINE_i460GX