HelenOS sources

write_msr          67 kernel/arch/amd64/include/arch/mm/pat.h 	write_msr(MSR_IA32_PAT, r);
write_msr         107 kernel/arch/amd64/src/amd64.c 	write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_NXE);
write_msr          57 kernel/arch/amd64/src/kseg.c 	write_msr(AMD_MSR_GS_KERNEL, (uintptr_t) kseg);
write_msr          48 kernel/arch/amd64/src/syscall.c 	write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_SCE);
write_msr          57 kernel/arch/amd64/src/syscall.c 	write_msr(AMD_MSR_STAR,
write_msr          60 kernel/arch/amd64/src/syscall.c 	write_msr(AMD_MSR_LSTAR, (uint64_t)syscall_entry);
write_msr          70 kernel/arch/amd64/src/syscall.c 	write_msr(AMD_MSR_SFMASK,
write_msr          69 kernel/arch/amd64/src/vreg.c 	write_msr(AMD_MSR_FS, (uintptr_t) page);
write_msr          67 kernel/arch/ia32/include/arch/mm/pat.h 	write_msr(MSR_IA32_PAT, r);
write_msr          65 kernel/arch/ia32/src/proc/scheduler.c 		write_msr(IA32_MSR_SYSENTER_ESP, kstk - sizeof(istate_t));
write_msr          49 kernel/arch/ia32/src/syscall.c 	write_msr(IA32_MSR_SYSENTER_CS, GDT_SELECTOR(KTEXT_DES));
write_msr          51 kernel/arch/ia32/src/syscall.c 	write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler);