read_msr 306 kernel/arch/amd64/include/arch/asm.h _NO_TRACE static inline sysarg_t read_msr(uint32_t msr) read_msr 348 kernel/arch/ia32/include/arch/asm.h _NO_TRACE static inline uint64_t read_msr(uint32_t msr)