static s64 get_kvmclock_base_ns(void)
{
	/* Master clock not used, so we can just use CLOCK_BOOTTIME.  */
	return ktime_get_boottime_ns();
}
static s64 get_kvmclock_base_ns(void)
{
	 
	return ktime_get_boottime_ns();
}