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

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

Completed in 11 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023