mc_core_threadid 88 include/xen/interface/xen-mca.h uint16_t mc_core_threadid; /* core thread of physical core */ mc_core_threadid 159 include/xen/interface/xen-mca.h uint16_t mc_core_threadid;