Symbol: xen_smp_count_cpus