xen_smp_count_cpus
void __init xen_smp_count_cpus(void)
static inline void xen_smp_count_cpus(void) { }