Searched refs:next_domid (Results 1 – 1 of 1) sorted by relevance
287 ulong_t next_domid; /* next dom to be scheduled */ member754 sp->next_domid = data[0]; in xdt_process_rec()779 data[2] != sp->next_domid) { in xdt_process_rec()792 XDT_PROBE4(IS_IDLE_DOM(sp->next_domid)? in xdt_process_rec()794 sp->next_domid, sp->next_vcpuid, sp->next_wtime, in xdt_process_rec()