> Why does hpet need to be slow? Can't you just 1:1 pass through one of  
quoted text
> the hpet timers if you only have a limited amount of vms?

HPET is not a truly virtualizable device, it's all the counters
in one block that cannot be really mapped to different people.

Also most systems have very little counters and Linux typically needs two
at least (system timer and /dev/hpet)

quoted text
> If done cleverly this might even work if #hpet > #cpu.

Sure with a device model, but that needs vmexits.

-Andi

--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html