Searched refs:vmce_rdmsr (Results 1 – 4 of 4) sorted by relevance
43 extern int vmce_rdmsr(uint32_t msr, uint64_t *val);
177 int vmce_rdmsr(uint32_t msr, uint64_t *val) in vmce_rdmsr() function
940 rc = vmce_rdmsr(reg, val); in read_msr()
3565 if ( (ret = vmce_rdmsr(msr, msr_content)) < 0 ) in hvm_msr_read_intercept()
Completed in 13 milliseconds