Searched refs:prev_domid (Results 1 – 1 of 1) sorted by relevance
284 ulong_t prev_domid; /* previous dom executed */ member743 sp->prev_domid = data[0]; in xdt_process_rec()779 if (data[0] != sp->prev_domid && in xdt_process_rec()789 XDT_PROBE3(IS_IDLE_DOM(sp->prev_domid)? in xdt_process_rec()791 sp->prev_domid, sp->prev_vcpuid, sp->prev_ctime); in xdt_process_rec()