Home
last modified time | relevance | path

Searched refs:get_tsc_khz (Results 1 – 5 of 5) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dtsc.h12 #define TSC_PER_MS ((uint64_t)get_tsc_khz())
32 uint32_t get_tsc_khz(void);
/hypervisor/arch/x86/guest/
A Dhyperv.c212 *rval = get_tsc_khz() * 1000UL; in hyperv_rdmsr()
216 *rval = get_tsc_khz() * 1000UL; in hyperv_rdmsr()
233 uint64_t tsc_scale, tsc_khz = get_tsc_khz(); in hyperv_init_time()
A Dvcpuid.c130 entry->eax = (uint32_t) (get_tsc_khz() / 1000U); in init_vcpuid_entry()
183 entry->eax = get_tsc_khz(); in init_vcpuid_entry()
/hypervisor/arch/x86/
A Dtsc.c215 uint32_t get_tsc_khz(void) in get_tsc_khz() function
/hypervisor/dm/
A Dvrtc.c402 offset = (cpu_ticks() - vrtc->base_tsc) / (get_tsc_khz() * 1000U); in vrtc_get_current_time()

Completed in 10 milliseconds