HelenOS sources
read_msr 64 kernel/arch/amd64/include/arch/mm/pat.h uint64_t r = read_msr(MSR_IA32_PAT);
read_msr 107 kernel/arch/amd64/src/amd64.c write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_NXE);
read_msr 55 kernel/arch/amd64/src/kseg.c kseg->fsbase = read_msr(AMD_MSR_FS);
read_msr 59 kernel/arch/amd64/src/proc/scheduler.c kseg_t *kseg = (kseg_t *) read_msr(AMD_MSR_GS_KERNEL);
read_msr 48 kernel/arch/amd64/src/syscall.c write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_SCE);
read_msr 64 kernel/arch/ia32/include/arch/mm/pat.h uint64_t r = read_msr(MSR_IA32_PAT);
HelenOS homepage, sources at GitHub