2 * Copyright (c) 2005-2007 Apple Inc. All rights reserved.
4 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
6 * This file contains Original Code and/or Modifications of Original Code
7 * as defined in and that are subject to the Apple Public Source License
8 * Version 2.0 (the 'License'). You may not use this file except in
9 * compliance with the License. The rights granted to you under the License
10 * may not be used to create, or enable the creation or redistribution of,
11 * unlawful or unlicensed copies of an Apple operating system, or to
12 * circumvent, violate, or enable the circumvention or violation of, any
13 * terms of an Apple operating system software license agreement.
15 * Please obtain a copy of the License at
16 * http://www.opensource.apple.com/apsl/ and read it before using this file.
18 * The Original Code and all software distributed under the License are
19 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
20 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
22 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23 * Please see the License for the specific language governing rights and
24 * limitations under the License.
26 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
34 * Purpose: Initializes the TSC and the various conversion
35 * factors needed by other parts of the system.
39 #include <mach/mach_types.h>
41 #include <kern/cpu_data.h>
42 #include <kern/cpu_number.h>
43 #include <kern/clock.h>
44 #include <kern/host_notify.h>
45 #include <kern/macro_help.h>
46 #include <kern/misc_protos.h>
48 #include <kern/assert.h>
49 #include <mach/vm_prot.h>
51 #include <vm/vm_kern.h> /* for kernel_map */
52 #include <architecture/i386/pio.h>
53 #include <i386/machine_cpu.h>
54 #include <i386/cpuid.h>
56 #include <i386/machine_routines.h>
57 #include <i386/proc_reg.h>
59 #include <i386/misc_protos.h>
60 #include <pexpert/pexpert.h>
61 #include <machine/limits.h>
62 #include <machine/commpage.h>
63 #include <sys/kdebug.h>
64 #include <pexpert/device_tree.h>
66 uint64_t busFCvtt2n
= 0;
67 uint64_t busFCvtn2t
= 0;
69 uint64_t tscFCvtt2n
= 0;
70 uint64_t tscFCvtn2t
= 0;
71 uint64_t tscGranularity
= 0;
74 uint32_t flex_ratio
= 0;
75 uint32_t flex_ratio_min
= 0;
76 uint32_t flex_ratio_max
= 0;
78 uint64_t tsc_at_boot
= 0;
80 #define bit(n) (1ULL << (n))
81 #define bitmask(h, l) ((bit(h)|(bit(h)-1)) & ~(bit(l)-1))
82 #define bitfield(x, h, l) (((x) & bitmask(h,l)) >> l)
85 #define kilo (1000ULL)
86 #define Mega (kilo * kilo)
87 #define Giga (kilo * Mega)
88 #define Tera (kilo * Giga)
89 #define Peta (kilo * Tera)
91 #define CPU_FAMILY_PENTIUM_M (0x6)
94 * This routine extracts a frequency property in Hz from the device tree.
95 * Also reads any initial TSC value at boot from the device tree.
98 EFI_get_frequency(const char *prop
)
100 uint64_t frequency
= 0;
105 if (DTLookupEntry(0, "/efi/platform", &entry
) != kSuccess
) {
106 kprintf("EFI_get_frequency: didn't find /efi/platform\n");
111 * While we're here, see if EFI published an initial TSC value.
113 if (DTGetProperty(entry
, "InitialTSC", &value
, &size
) == kSuccess
) {
114 if (size
== sizeof(uint64_t)) {
115 tsc_at_boot
= *(uint64_t *) value
;
116 kprintf("EFI_get_frequency: read InitialTSC: %llu\n",
121 if (DTGetProperty(entry
, prop
, &value
, &size
) != kSuccess
) {
122 kprintf("EFI_get_frequency: property %s not found\n", prop
);
125 if (size
== sizeof(uint64_t)) {
126 frequency
= *(uint64_t *) value
;
127 kprintf("EFI_get_frequency: read %s value: %llu\n",
135 * Initialize the various conversion factors needed by code referencing
141 boolean_t N_by_2_bus_ratio
= FALSE
;
143 if (cpuid_vmm_present()) {
144 kprintf("VMM vendor %u TSC frequency %u KHz bus frequency %u KHz\n",
145 cpuid_vmm_info()->cpuid_vmm_family
,
146 cpuid_vmm_info()->cpuid_vmm_tsc_frequency
,
147 cpuid_vmm_info()->cpuid_vmm_bus_frequency
);
149 if (cpuid_vmm_info()->cpuid_vmm_tsc_frequency
&&
150 cpuid_vmm_info()->cpuid_vmm_bus_frequency
) {
151 busFreq
= (uint64_t)cpuid_vmm_info()->cpuid_vmm_bus_frequency
* kilo
;
152 busFCvtt2n
= ((1 * Giga
) << 32) / busFreq
;
153 busFCvtn2t
= 0xFFFFFFFFFFFFFFFFULL
/ busFCvtt2n
;
155 tscFreq
= (uint64_t)cpuid_vmm_info()->cpuid_vmm_tsc_frequency
* kilo
;
156 tscFCvtt2n
= ((1 * Giga
) << 32) / tscFreq
;
157 tscFCvtn2t
= 0xFFFFFFFFFFFFFFFFULL
/ tscFCvtt2n
;
159 tscGranularity
= tscFreq
/ busFreq
;
161 bus2tsc
= tmrCvt(busFCvtt2n
, tscFCvtn2t
);
167 switch (cpuid_cpufamily()) {
168 case CPUFAMILY_INTEL_KABYLAKE
:
169 case CPUFAMILY_INTEL_SKYLAKE
: {
171 * SkyLake and later has an Always Running Timer (ART) providing
172 * the reference frequency. CPUID leaf 0x15 determines the
173 * rationship between this and the TSC frequency expressed as
174 * - multiplier (numerator, N), and
175 * - divisor (denominator, M).
176 * So that TSC = ART * N / M.
178 i386_cpu_info_t
*infop
= cpuid_info();
179 cpuid_tsc_leaf_t
*tsc_leafp
= &infop
->cpuid_tsc_leaf
;
180 uint64_t N
= (uint64_t) tsc_leafp
->numerator
;
181 uint64_t M
= (uint64_t) tsc_leafp
->denominator
;
184 refFreq
= EFI_get_frequency("ARTFrequency");
187 * Intel Scalable Processor (Xeon-SP) CPUs use a different
188 * ART frequency. Use that default here if EFI didn't
189 * specify the frequency. Since Xeon-SP uses the same
190 * DisplayModel / DisplayFamily as Xeon-W, we need to
191 * use the platform ID (or, as XNU calls it, the "processor
192 * flag") to differentiate the two.
194 if (cpuid_family() == 0x06 &&
195 infop
->cpuid_model
== CPUID_MODEL_SKYLAKE_W
&&
196 is_xeon_sp(infop
->cpuid_processor_flag
)) {
197 refFreq
= BASE_ART_CLOCK_SOURCE_SP
;
199 refFreq
= BASE_ART_CLOCK_SOURCE
;
205 tscFreq
= refFreq
* N
/ M
;
206 busFreq
= tscFreq
; /* bus is APIC frequency */
208 kprintf(" ART: Frequency = %6d.%06dMHz, N/M = %lld/%llu\n",
209 (uint32_t)(refFreq
/ Mega
),
210 (uint32_t)(refFreq
% Mega
),
216 uint64_t msr_flex_ratio
;
217 uint64_t msr_platform_info
;
219 /* See if FLEX_RATIO is being used */
220 msr_flex_ratio
= rdmsr64(MSR_FLEX_RATIO
);
221 msr_platform_info
= rdmsr64(MSR_PLATFORM_INFO
);
222 flex_ratio_min
= (uint32_t)bitfield(msr_platform_info
, 47, 40);
223 flex_ratio_max
= (uint32_t)bitfield(msr_platform_info
, 15, 8);
224 /* No BIOS-programed flex ratio. Use hardware max as default */
225 tscGranularity
= flex_ratio_max
;
226 if (msr_flex_ratio
& bit(16)) {
227 /* Flex Enabled: Use this MSR if less than max */
228 flex_ratio
= (uint32_t)bitfield(msr_flex_ratio
, 15, 8);
229 if (flex_ratio
< flex_ratio_max
) {
230 tscGranularity
= flex_ratio
;
234 busFreq
= EFI_get_frequency("FSBFrequency");
235 /* If EFI isn't configured correctly, use a constant
236 * value. See 6036811.
239 busFreq
= BASE_NHM_CLOCK_SOURCE
;
244 case CPUFAMILY_INTEL_PENRYN
: {
247 prfsts
= rdmsr64(IA32_PERF_STS
);
248 tscGranularity
= (uint32_t)bitfield(prfsts
, 44, 40);
249 N_by_2_bus_ratio
= (prfsts
& bit(46)) != 0;
251 busFreq
= EFI_get_frequency("FSBFrequency");
256 busFCvtt2n
= ((1 * Giga
) << 32) / busFreq
;
257 busFCvtn2t
= 0xFFFFFFFFFFFFFFFFULL
/ busFCvtt2n
;
259 panic("tsc_init: EFI not supported!\n");
262 kprintf(" BUS: Frequency = %6d.%06dMHz, "
263 "cvtt2n = %08X.%08X, cvtn2t = %08X.%08X\n",
264 (uint32_t)(busFreq
/ Mega
),
265 (uint32_t)(busFreq
% Mega
),
266 (uint32_t)(busFCvtt2n
>> 32), (uint32_t)busFCvtt2n
,
267 (uint32_t)(busFCvtn2t
>> 32), (uint32_t)busFCvtn2t
);
269 if (tscFreq
== busFreq
) {
272 tscFCvtn2t
= busFCvtn2t
;
273 tscFCvtt2n
= busFCvtt2n
;
276 * Get the TSC increment. The TSC is incremented by this
277 * on every bus tick. Calculate the TSC conversion factors
278 * to and from nano-seconds.
279 * The tsc granularity is also called the "bus ratio".
280 * If the N/2 bit is set this indicates the bus ration is
281 * 0.5 more than this - i.e. that the true bus ratio
282 * is (2*tscGranularity + 1)/2.
284 if (N_by_2_bus_ratio
) {
285 tscFCvtt2n
= busFCvtt2n
* 2 / (1 + 2 * tscGranularity
);
287 tscFCvtt2n
= busFCvtt2n
/ tscGranularity
;
290 tscFreq
= ((1 * Giga
) << 32) / tscFCvtt2n
;
291 tscFCvtn2t
= 0xFFFFFFFFFFFFFFFFULL
/ tscFCvtt2n
;
294 * Calculate conversion from BUS to TSC
296 bus2tsc
= tmrCvt(busFCvtt2n
, tscFCvtn2t
);
299 kprintf(" TSC: Frequency = %6d.%06dMHz, "
300 "cvtt2n = %08X.%08X, cvtn2t = %08X.%08X, gran = %lld%s\n",
301 (uint32_t)(tscFreq
/ Mega
),
302 (uint32_t)(tscFreq
% Mega
),
303 (uint32_t)(tscFCvtt2n
>> 32), (uint32_t)tscFCvtt2n
,
304 (uint32_t)(tscFCvtn2t
>> 32), (uint32_t)tscFCvtn2t
,
305 tscGranularity
, N_by_2_bus_ratio
? " (N/2)" : "");
309 tsc_get_info(tscInfo_t
*info
)
311 info
->busFCvtt2n
= busFCvtt2n
;
312 info
->busFCvtn2t
= busFCvtn2t
;
313 info
->tscFreq
= tscFreq
;
314 info
->tscFCvtt2n
= tscFCvtt2n
;
315 info
->tscFCvtn2t
= tscFCvtn2t
;
316 info
->tscGranularity
= tscGranularity
;
317 info
->bus2tsc
= bus2tsc
;
318 info
->busFreq
= busFreq
;
319 info
->flex_ratio
= flex_ratio
;
320 info
->flex_ratio_min
= flex_ratio_min
;
321 info
->flex_ratio_max
= flex_ratio_max
;