Searched refs:paravirt_write_msr (Results 1 – 1 of 1) sorted by relevance
183 static inline void paravirt_write_msr(u32 msr, u64 val) in paravirt_write_msr() function 207 paravirt_write_msr(msr, (u64)high << 32 | low); in wrmsr() 217 paravirt_write_msr(msr, val); in wrmsrq()