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

/lk-master/arch/x86/include/arch/
A D	x86.h	368 static inline void write_msr (uint32_t msr_id, uint64_t msr_write_val) { in write_msr() argument 369 uint32_t low_val = (uint32_t)msr_write_val; in write_msr() 370 uint32_t high_val = (uint32_t)(msr_write_val >> 32); in write_msr()

Completed in 3 milliseconds

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