HelenOS sources

MSR_IA32_PAT       64 kernel/arch/amd64/include/arch/mm/pat.h 	uint64_t r = read_msr(MSR_IA32_PAT);
MSR_IA32_PAT       67 kernel/arch/amd64/include/arch/mm/pat.h 	write_msr(MSR_IA32_PAT, r);
MSR_IA32_PAT       64 kernel/arch/ia32/include/arch/mm/pat.h 	uint64_t r = read_msr(MSR_IA32_PAT);
MSR_IA32_PAT       67 kernel/arch/ia32/include/arch/mm/pat.h 	write_msr(MSR_IA32_PAT, r);