mc_vcpuid          85 include/xen/interface/xen-mca.h 	uint16_t mc_vcpuid; /* virtual cpu scheduled for mc_domid */
mc_vcpuid         287 include/xen/interface/xen-mca.h 	uint16_t mc_vcpuid; /* The vcpu in mc_domid to notify */