Searched refs:msr_write_val (Results 1 – 1 of 1) sorted by relevance
483 static inline void write_msr (uint32_t msr_id, uint64_t msr_write_val) { in write_msr() argument484 uint32_t low_val = (uint32_t)msr_write_val; in write_msr()485 uint32_t high_val = (uint32_t)(msr_write_val >> 32); in write_msr()
Completed in 6 milliseconds