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 */