Searched refs:msr_id (Results 1 – 1 of 1) sorted by relevance

/lk-master/arch/x86/include/arch/
A D	x86.h	352 static inline uint64_t read_msr (uint32_t msr_id) { in read_msr() argument 360 : "c" (msr_id)); in read_msr() 368 static inline void write_msr (uint32_t msr_id, uint64_t msr_write_val) { in write_msr() argument 374 : : "c" (msr_id), "a" (low_val), "d"(high_val)); in write_msr()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023