/* Returns seconds, approximately. We don't need nanosecond resolution, and we don't need to waste time with a big divide when 2^30ns == 1.074s.  */
static unsigned long get_timestamp(int this_cpu)
/* Returns seconds, approximately. We don't need nanosecond resolution, and we don't need to waste time with a big divide when 2^30ns == 1.074s.  */
static unsigned long get_timestamp(int this_cpu)
{
	return cpu_clock(this_cpu) >> 30LL;
}