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