61 	int cpu;  in cpu_bringup()  local
99 void xen_smp_intr_free_pv(unsigned int cpu)  in xen_smp_intr_free_pv()
116 int xen_smp_intr_init_pv(unsigned int cpu)  in xen_smp_intr_init_pv()
212 	unsigned cpu;  in xen_pv_smp_prepare_cpus()  local
253 cpu_initialize_context(unsigned int cpu, struct task_struct *idle)  in cpu_initialize_context()
318 static int xen_pv_kick_ap(unsigned int cpu, struct task_struct *idle)  in xen_pv_kick_ap()
354 	unsigned int cpu = smp_processor_id();  in xen_pv_cpu_disable()  local
364 static void xen_pv_cpu_die(unsigned int cpu)  in xen_pv_cpu_die()
372 static void xen_pv_cleanup_dead_cpu(unsigned int cpu)  in xen_pv_cleanup_dead_cpu()
394 static void xen_pv_cpu_die(unsigned int cpu)  in xen_pv_cpu_die()
399 static void xen_pv_cleanup_dead_cpu(unsigned int cpu)  in xen_pv_cleanup_dead_cpu()
412 	int cpu = smp_processor_id();  in stop_self()  local