diff -ru -x '*\.(a|o)' VirtualBox-4.1.18-orig/src/VBox/Devices/EFI/DevEFI.cpp VirtualBox-4.1.18/src/VBox/Devices/EFI/DevEFI.cpp
|
old
|
new
|
|
| 1161 | 1161 | * CPU frequencies |
| 1162 | 1162 | */ |
| 1163 | 1163 | // @todo: we need to have VMM API to access TSC increase speed, for now provide reasonable default |
| 1164 | | pThis->u64TscFrequency = RTMpGetMaxFrequency(0) * 1024 * 1024;// TMCpuTicksPerSecond(PDMDevHlpGetVM(pDevIns)); |
| | 1164 | pThis->u64TscFrequency = RTMpGetMaxFrequency(0) * 1000 * 1000;// TMCpuTicksPerSecond(PDMDevHlpGetVM(pDevIns)); |
| 1165 | 1165 | if (pThis->u64TscFrequency == 0) |
| 1166 | 1166 | pThis->u64TscFrequency = UINT64_C(2500000000); |
| 1167 | 1167 | /* Multiplier is read from MSR_IA32_PERF_STATUS, and now is hardcoded as 4 */ |