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
58 void xen_arch_register_cpu(int num);
398 void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function402 EXPORT_SYMBOL(xen_arch_register_cpu);
15 xen_arch_register_cpu(cpu); in enable_hotplug_cpu()