64 	int cpu = smp_processor_id();  in cpu_bringup()  local
96 static int xen_smp_intr_init(unsigned int cpu)  in xen_smp_intr_init()
184 	unsigned cpu;  in xen_smp_prepare_cpus()  local
222 cpu_initialize_context(unsigned int cpu, struct task_struct *idle)  in cpu_initialize_context()
281 static int __cpuinit xen_cpu_up(unsigned int cpu)  in xen_cpu_up()
341 	unsigned int cpu = smp_processor_id();  in xen_cpu_disable()  local
351 static void xen_cpu_die(unsigned int cpu)  in xen_cpu_die()
381 static void xen_cpu_die(unsigned int cpu)  in xen_cpu_die()
394 	int cpu = smp_processor_id();  in stop_self()  local
409 static void xen_smp_send_reschedule(int cpu)  in xen_smp_send_reschedule()
417 	unsigned cpu;  in xen_send_IPI_mask()  local
425 	int cpu;  in xen_smp_send_call_function_ipi()  local
438 static void xen_smp_send_call_function_single_ipi(int cpu)  in xen_smp_send_call_function_single_ipi()