/* It would be far better for everyone if the Guest had its own clock, but until then the Host gives us the time on every interrupt.  */
static unsigned long lguest_get_wallclock(void)
/* It would be far better for everyone if the Guest had its own clock, but until then the Host gives us the time on every interrupt.  */
static unsigned long lguest_get_wallclock(void)
{
	return lguest_data.time.tv_sec;
}