Searched defs:mc_vcpuid (Results 1 – 1 of 1) sorted by relevance
128 uint16_t mc_vcpuid; /* virtual cpu scheduled for mc_domid */ member366 uint16_t mc_vcpuid; /* The vcpu in mc_domid to notify. member