write_msr 296 kernel/arch/amd64/include/arch/asm.h _NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value) write_msr 338 kernel/arch/ia32/include/arch/asm.h _NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)HelenOS homepage, sources at GitHub