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;