Changeset 7d3d641 in mainline for kernel/arch/xen32/src/xen32.c

Timestamp:

2006-08-01T20:45:26Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5b23a82

Parents:

3e5cc686

Message:

xen32: initialize virtual IDT

File:

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

kernel/arch/xen32/src/xen32.c

@@ -65 +65 @@
 memzone_t meminfo;
 
+extern void xen_callback(void);
+extern void xen_failsafe_callback(void);
+
 void arch_pre_main(void)
 {
@@ -76 +79 @@
         pte.frame_address = ADDR2PFN((uintptr_t) start_info.shared_info);
         xen_update_va_mapping(&shared_info, pte, UVMF_INVLPG);
+        
+        xen_set_callbacks(XEN_CS, xen_callback, XEN_CS, xen_failsafe_callback);
         
         /* Create identity mapping */
@@ -117 +122 @@
 //              bios_init();
                 
-//              exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall);
+                exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall);
                 
                 #ifdef CONFIG_SMP
-//              exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown",
-//                           (iroutine) tlb_shootdown_ipi);
+                exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown",
+                             (iroutine) tlb_shootdown_ipi);
                 #endif /* CONFIG_SMP */
         }