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