/* The TSC is an Intel thing called the Time Stamp Counter. The Host tells us what speed it runs at, or 0 if it's unusable as a reliable clock source. This matches what we want here: if we return 0 from this function, the x86 TSC clock will give up and not register itself.  */
static unsigned long lguest_tsc_khz(void)
/* The TSC is an Intel thing called the Time Stamp Counter. The Host tells us what speed it runs at, or 0 if it's unusable as a reliable clock source. This matches what we want here: if we return 0 from this function, the x86 TSC clock will give up and not register itself.  */
static unsigned long lguest_tsc_khz(void)
{
	return lguest_data.tsc_khz;
}