[MSDN Library September 1992] Get_VM_Exec_Time (47.4239236686642%)
Product Documentation > Windows 3.1 DDK > Virtual Device Adaptation Guide > PART 2 Using Virtual Machine Manager Services > Chapter 25 VMM Service Reference
[MSDN Library June 1998] Get_VM_Exec_Time (46.243842364532%)
MSDN Library Visual Studio 6.0 > DDK Documentation > Windows 95 Device Driver Kit > Kernel Services Guide > Timing Services > About Time Services > Reference