smp_found_config = 1;
}
+static void __init xen_pv_smp_config(void)
+{
+ _get_smp_config(false);
+}
+
static void __init xen_pv_smp_prepare_boot_cpu(void)
{
BUG_ON(smp_processor_id() != 0);
smp_ops = xen_smp_ops;
/* Avoid searching for BIOS MP tables */
- x86_init.mpparse.find_mptable = x86_init_noop;
- x86_init.mpparse.get_smp_config = _get_smp_config;
+ x86_init.mpparse.find_mptable = x86_init_noop;
+ x86_init.mpparse.early_parse_smp_cfg = x86_init_noop;
+ x86_init.mpparse.parse_smp_cfg = xen_pv_smp_config;
+ x86_init.mpparse.get_smp_config = _get_smp_config;
}