xen_init_spinlocks();
 }
 
-static void __init xen_smp_prepare_cpus(unsigned int max_cpus)
+static void __init xen_pv_smp_prepare_cpus(unsigned int max_cpus)
 {
        unsigned cpu;
        unsigned int i;
        return 0;
 }
 
-static int xen_cpu_up(unsigned int cpu, struct task_struct *idle)
+static int xen_pv_cpu_up(unsigned int cpu, struct task_struct *idle)
 {
        int rc;
 
        return 0;
 }
 
-static void xen_smp_cpus_done(unsigned int max_cpus)
+static void xen_pv_smp_cpus_done(unsigned int max_cpus)
 {
 }
 
 #ifdef CONFIG_HOTPLUG_CPU
-static int xen_cpu_disable(void)
+static int xen_pv_cpu_disable(void)
 {
        unsigned int cpu = smp_processor_id();
        if (cpu == 0)
        }
 }
 
-static void xen_play_dead(void) /* used only with HOTPLUG_CPU */
+static void xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */
 {
        play_dead_common();
        HYPERVISOR_vcpu_op(VCPUOP_down, xen_vcpu_nr(smp_processor_id()), NULL);
 }
 
 #else /* !CONFIG_HOTPLUG_CPU */
-static int xen_cpu_disable(void)
+static int xen_pv_cpu_disable(void)
 {
        return -ENOSYS;
 }
        BUG();
 }
 
-static void xen_play_dead(void)
+static void xen_pv_play_dead(void)
 {
        BUG();
 }
        BUG();
 }
 
-static void xen_stop_other_cpus(int wait)
+static void xen_pv_stop_other_cpus(int wait)
 {
        smp_call_function(stop_self, NULL, wait);
 }
 
 static const struct smp_ops xen_smp_ops __initconst = {
        .smp_prepare_boot_cpu = xen_pv_smp_prepare_boot_cpu,
-       .smp_prepare_cpus = xen_smp_prepare_cpus,
-       .smp_cpus_done = xen_smp_cpus_done,
+       .smp_prepare_cpus = xen_pv_smp_prepare_cpus,
+       .smp_cpus_done = xen_pv_smp_cpus_done,
 
-       .cpu_up = xen_cpu_up,
+       .cpu_up = xen_pv_cpu_up,
        .cpu_die = xen_pv_cpu_die,
-       .cpu_disable = xen_cpu_disable,
-       .play_dead = xen_play_dead,
+       .cpu_disable = xen_pv_cpu_disable,
+       .play_dead = xen_pv_play_dead,
 
-       .stop_other_cpus = xen_stop_other_cpus,
+       .stop_other_cpus = xen_pv_stop_other_cpus,
        .smp_send_reschedule = xen_smp_send_reschedule,
 
        .send_call_func_ipi = xen_smp_send_call_function_ipi,