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