Lines Matching full:guest
3691 /* assigning the VCPUs round-robin is easier to implement, guest OSes
