Symbol: xen_physcpu_strandid