Searched refs:xen_arch_register_cpu (Results 1 – 4 of 4) sorted by relevance
61 void xen_arch_register_cpu(int num);
31 static inline void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function
334 void xen_arch_register_cpu(int num) in xen_arch_register_cpu() function338 EXPORT_SYMBOL(xen_arch_register_cpu);
15 xen_arch_register_cpu(cpu); in enable_hotplug_cpu()
