1 files changed, 4 insertions, 3 deletions

diff --git a/arch/i386/kernel/vmi.c b/arch/i386/kernel/vmi.c
index af8c54245f9..245d091d659 100644
--- a/arch/i386/kernel/vmi.c
+++ b/arch/i386/kernel/vmi.c
@@ -525,13 +525,14 @@ void vmi_pmd_clear(pmd_t *pmd)
 #endif
 
 #ifdef CONFIG_SMP
-struct vmi_ap_state ap;
 extern void setup_pda(void);
 
-static void __init /* XXX cpu hotplug */
+static void __devinit
 vmi_startup_ipi_hook(int phys_apicid, unsigned long start_eip,
                      unsigned long start_esp)
 {
+        struct vmi_ap_state ap;
+
         /* Default everything to zero.  This is fine for most GPRs. */
         memset(&ap, 0, sizeof(struct vmi_ap_state));
 
@@ -570,7 +571,7 @@ vmi_startup_ipi_hook(int phys_apicid, unsigned long start_eip,
         /* Protected mode, paging, AM, WP, NE, MP. */
         ap.cr0 = 0x80050023;
         ap.cr4 = mmu_cr4_features;
-        vmi_ops.set_initial_ap_state(__pa(&ap), phys_apicid);
+        vmi_ops.set_initial_ap_state((u32)&ap, phys_apicid);
 }
 #endif