|
@@ -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
|
|
|
|