Home
last modified time | relevance | path

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

/linux-4.4.14/include/linux/
Dlguest.h61 u32 tsc_khz; member
/linux-4.4.14/arch/x86/kernel/
Dkvmclock.c132 unsigned long tsc_khz; in kvm_get_tsc_khz() local
Dtsc.c29 unsigned int __read_mostly tsc_khz; variable
/linux-4.4.14/drivers/lguest/
Dlg.h108 u32 tsc_khz; member