Searched refs:xen_smp_count_cpus (Results 1 – 3 of 3) sorted by relevance
300 void xen_smp_count_cpus(void);326 static inline void xen_smp_count_cpus(void) { } in xen_smp_count_cpus() function
410 void __init xen_smp_count_cpus(void) in xen_smp_count_cpus() function
201 xen_smp_count_cpus(); in xen_pv_init_platform()