/* Called when a cpu comes up after the system has finished booting, i.e. as a result of a hotplug cpu action.  */
void snapshot_timebase(void)
/* Called when a cpu comes up after the system has finished booting, i.e. as a result of a hotplug cpu action.  */
void snapshot_timebase(void)
{
	__get_cpu_var(last_jiffy) = get_tb_or_rtc();
	snapshot_purr();
}