|
@@ -1091,11 +1091,11 @@ void dump_system_config_info(void)
|
|
|
fprintf(stderr, "cpu0: MSR_NHM_PLATFORM_INFO: 0x%08llx\n", msr);
|
|
|
|
|
|
ratio = (msr >> 40) & 0xFF;
|
|
|
- fprintf(stderr, "%d * %.0f = %.0f MHz max efficiency\n",
|
|
|
+ fprintf(stderr, "%d * %.0f = %.0f MHz max efficiency frequency\n",
|
|
|
ratio, bclk, ratio * bclk);
|
|
|
|
|
|
ratio = (msr >> 8) & 0xFF;
|
|
|
- fprintf(stderr, "%d * %.0f = %.0f MHz TSC frequency\n",
|
|
|
+ fprintf(stderr, "%d * %.0f = %.0f MHz base frequency\n",
|
|
|
ratio, bclk, ratio * bclk);
|
|
|
|
|
|
get_msr(0, MSR_IA32_POWER_CTL, &msr);
|