Searched refs:xen_arch_register_cpu (Results 1 – 4 of 4) sorted by relevance
61 void xen_arch_register_cpu(int num);
30 static inline void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function
14 xen_arch_register_cpu(cpu); in enable_hotplug_cpu()
1909 void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function1913 EXPORT_SYMBOL(xen_arch_register_cpu);