Symbol: xen_physcpu_family