Searched refs:next_vcpuid (Results 1 – 1 of 1) sorted by relevance
288 ulong_t next_vcpuid; /* next vcpu to be scheduled */ member786 sp->next_vcpuid = data[3]; in xdt_process_rec()794 sp->next_domid, sp->next_vcpuid, sp->next_wtime, in xdt_process_rec()