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