Searched refs:wrmsrns (Results 1 – 4 of 4) sorted by relevance
104 wrmsrns(MSR_IA32_FRED_RSP0, rsp0); in fred_update_rsp0()
234 static __always_inline void wrmsrns(u32 msr, u64 val) in wrmsrns() function
282 …0x7, 1, eax, 19, wrmsrns , WRMSRNS instruction (WRMSR-non-serializ…
1476 wrmsrns(msr, data); in vmx_write_guest_host_msr()