Searched refs:cpu_msr_read (Results 1 – 2 of 2) sorted by relevance
513 static inline uint64_t cpu_msr_read(uint32_t reg) in cpu_msr_read() function685 return (uint16_t)cpu_msr_read(ACRN_PSEUDO_PCPUID_MSR); in get_pcpu_id()706 return cpu_msr_read(reg_num); in msr_read()
462 value64 = vcpu_get_guest_msr(vcpu, MSR_IA32_TSC_ADJUST) - cpu_msr_read(MSR_IA32_TSC_ADJUST); in init_exec_ctrl()
Completed in 5 milliseconds