Lines Matching refs:val
19 #define rdmsrl(msr,val) do { unsigned long a__,b__; \ argument
23 val = a__ | ((u64)b__<<32); \
31 static inline void wrmsrl(unsigned int msr, __u64 val) in wrmsrl() argument
34 lo = (__u32)val; in wrmsrl()
35 hi = (__u32)(val >> 32); in wrmsrl()
40 #define rdmsr_safe(msr,val) ({\ argument
52 val = lo | ((uint64_t)hi << 32); \
56 static inline int wrmsr_safe(unsigned int msr, uint64_t val) in wrmsr_safe() argument
60 lo = (uint32_t)val; in wrmsr_safe()
61 hi = (uint32_t)(val >> 32); in wrmsr_safe()
79 static inline void msr_split(struct cpu_user_regs *regs, uint64_t val) in msr_split() argument
81 regs->rdx = val >> 32; in msr_split()
82 regs->rax = (uint32_t)val; in msr_split()
110 #define __write_tsc(val) wrmsrl(MSR_IA32_TSC, val) argument
111 #define write_tsc(val) ({ \ argument
115 __write_tsc(val); \
118 #define write_rdtscp_aux(val) wrmsr(MSR_TSC_AUX, (val), 0) argument
201 void write_efer(u64 val);
238 int guest_rdmsr(const struct vcpu *v, uint32_t msr, uint64_t *val);
239 int guest_wrmsr(struct vcpu *v, uint32_t msr, uint64_t val);