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