The key word is "Concurrently". They can give both hyperthreads to one machine for 50ms then both hyperthreads to another machine for 50ms. For VMs with less

The key word is "Concurrently". They can give both hyperthreads to one machine for 50ms then both hyperthreads to another machine for 50ms. For VMs with less than 2 vCPUs I suspect they give them two virtual threads and just schedule them for half the time they would otherwise.