Home
last modified time | relevance | path

Searched defs:tsc_khz (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/x86/
A Dtime.c1567 static void check_tsc_warp(unsigned long tsc_khz, unsigned long *max_warp) in check_tsc_warp()
/xen/xen/include/asm-x86/
A Ddomain.h380 uint32_t tsc_khz; /* cached guest khz for certain emulated or member

Completed in 9 milliseconds