Searched refs:wrmsr (Results 1 – 4 of 4) sorted by relevance
104 static inline void wrmsr(int32_t msr, uint64_t val) in wrmsr() function115 wrmsr(IA32_TSC_DEADLINE_MSR, deadline); in set_trigger()240 wrmsr(IA32_TSC_ADJUST_MSR, 0); in clear_tsc_adjust()
76 wrmsr
199 wrmsr
35 wrmsr246 wrmsr249 wrmsr291 wrmsr408 wrmsr818 wrmsr
