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

/kernel/arch/x86/include/arch/
A D	x86.h	341 static inline void write_msr(uint32_t msr_id, uint64_t msr_write_val) { in write_msr() argument 345 : "c"(msr_id), "a"(msr_write_val & 0xffffffff), "d"(msr_write_val >> 32)); in write_msr()

Completed in 5 milliseconds

Last Index update Fri Aug 22 02:51:41 CST 2025