Searched refs:prev_vcpuid (Results 1 – 1 of 1) sorted by relevance
285 ulong_t prev_vcpuid; /* previous vcpu executed */ member785 sp->prev_vcpuid = data[1]; in xdt_process_rec()790 sp->prev_domid, sp->prev_vcpuid, sp->prev_ctime); in xdt_process_rec()