Searched refs:xen_arch_register_cpu (Results 1 – 4 of 4) sorted by relevance
17 static inline void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function
337 void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function341 EXPORT_SYMBOL(xen_arch_register_cpu);
58 void xen_arch_register_cpu(int num);
15 xen_arch_register_cpu(cpu); in enable_hotplug_cpu()
