/* This is called on a life CPU, when a CPU is dead. So we cannot access the hardware device itself. We just set the mode and remove it from the lists.  */
static void tick_shutdown(unsigned int *cpup)
/* This is called on a life CPU, when a CPU is dead. So we cannot access the hardware device itself. We just set the mode and remove it from the lists.  */
static void tick_shutdown(unsigned int *cpup)
{
	struct tick_device *td = &per_cpu(tick_cpu_device, *cpup);
	struct clock_event_device *dev = td->evtdev;
	unsigned long flags;
	raw_spin_lock_irqsave(&tick_device_lock, flags);
	td->mode = TICKDEV_MODE_PERIODIC;
	if (dev) {
		dev->mode = CLOCK_EVT_MODE_UNUSED;
		clockevents_exchange_device(dev, NULL);
		td->evtdev = NULL;
	}
	raw_spin_unlock_irqrestore(&tick_device_lock, flags);
}