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

/xen/xen/arch/x86/
A D	time.c	1567 static void check_tsc_warp(unsigned long tsc_khz, unsigned long *max_warp) in check_tsc_warp()
/xen/xen/include/asm-x86/
A D	domain.h	380 uint32_t tsc_khz; /* cached guest khz for certain emulated or member

Completed in 9 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023