Searched defs:mc_vcpuid (Results 1 – 2 of 2) sorted by relevance
49 unsigned int mc_vcpuid; in mc_memerr_dhandler() local
130 uint16_t mc_vcpuid; /* virtual cpu scheduled for mc_domid */ member371 uint16_t mc_vcpuid; /* The vcpu in mc_domid to notify. member
Completed in 6 milliseconds