/* This routine supplies the Guest with time: it's used for wallclock time at initial boot and as a rough time source if the TSC isn't available.  */
void write_timestamp(struct lg_cpu *cpu)
/* This routine supplies the Guest with time: it's used for wallclock time at initial boot and as a rough time source if the TSC isn't available.  */
void write_timestamp(struct lg_cpu *cpu)
{
	struct timespec now;
	ktime_get_real_ts(&now);
	if (copy_to_user(&cpu->lg->lguest_data->time,
			 &now, sizeof(struct timespec)))
		kill_guest(cpu, "Writing timestamp");
}