osfmk/i386/mtrr.c

134 		range[i].base = rdmsr64(MSR_IA32_MTRR_PHYSBASE(i));
135 		range[i].mask = rdmsr64(MSR_IA32_MTRR_PHYSMASK(i));
168 	range[0].types = rdmsr64(MSR_IA32_MTRR_FIX64K_00000);
169 	range[1].types = rdmsr64(MSR_IA32_MTRR_FIX16K_80000);
170 	range[2].types = rdmsr64(MSR_IA32_MTRR_FIX16K_A0000);
172 		range[3 + i].types = rdmsr64(MSR_IA32_MTRR_FIX4K_C0000 + i);
200 	match = range[0].types == rdmsr64(MSR_IA32_MTRR_FIX64K_00000) &&
201 		range[1].types == rdmsr64(MSR_IA32_MTRR_FIX16K_80000) &&
202 		range[2].types == rdmsr64(MSR_IA32_MTRR_FIX16K_A0000);
205 			rdmsr64(MSR_IA32_MTRR_FIX4K_C0000 + i);
220 		match = range[i].base == rdmsr64(MSR_IA32_MTRR_PHYSBASE(i)) &&
221 			range[i].mask == rdmsr64(MSR_IA32_MTRR_PHYSMASK(i));
232 	int count = rdmsr64(MSR_IA32_MTRRCAP) & IA32_MTRRCAP_VCNT;
237 		    rdmsr64(MSR_IA32_MTRR_PHYSBASE(i)),
238 		    rdmsr64(MSR_IA32_MTRR_PHYSMASK(i)),
239 		    MASK_TO_LEN(rdmsr64(MSR_IA32_MTRR_PHYSMASK(i))));
243 	DBG("FIX64K_00000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX64K_00000));
244 	DBG("FIX16K_80000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX16K_80000));
245 	DBG("FIX16K_A0000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX16K_A0000));
246 	DBG(" FIX4K_C0000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_C0000));
247 	DBG(" FIX4K_C8000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_C8000));
248 	DBG(" FIX4K_D0000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_D0000));
249 	DBG(" FIX4K_D8000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_D8000));
250 	DBG(" FIX4K_E0000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_E0000));
251 	DBG(" FIX4K_E8000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_E8000));
252 	DBG(" FIX4K_F0000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_F0000));
253 	DBG(" FIX4K_F8000: 0x%016llx\n", rdmsr64(MSR_IA32_MTRR_FIX4K_F8000));
256             rdmsr64(MSR_IA32_MTRRCAP), rdmsr64(MSR_IA32_MTRR_DEF_TYPE));
280 	mtrr_state.MTRRcap     = rdmsr64(MSR_IA32_MTRRCAP);
281 	mtrr_state.MTRRdefType = rdmsr64(MSR_IA32_MTRR_DEF_TYPE);
342 		uint64_t pat = rdmsr64(MSR_IA32_CR_PAT);
348 		    get_cpu_number(), rdmsr64(MSR_IA32_CR_PAT));
434 	match = mtrr_state.MTRRdefType == rdmsr64(MSR_IA32_MTRR_DEF_TYPE);
438 		match = mtrr_state.MTRRcap == rdmsr64(MSR_IA32_MTRRCAP);
688 	pat = rdmsr64(MSR_IA32_CR_PAT);