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