US9110698B2 - Changing Frequency of a Virtual Programmable Interrupt Timer in Virtual Machines to Control Virtual Time