Searched refs:xen_smp_init (Results 1 – 3 of 3) sorted by relevance
82 void xen_smp_init(void);87 static inline void xen_smp_init(void) {} in xen_smp_init() function
748 void __init xen_smp_init(void) in xen_smp_init() function
1608 xen_smp_init(); in xen_start_kernel()