/* clockevents_shutdown - shutdown the device and clear next_event @dev: device to shutdown  */
void clockevents_shutdown(struct clock_event_device *dev)
/* clockevents_shutdown - shutdown the device and clear next_event @dev: device to shutdown  */
void clockevents_shutdown(struct clock_event_device *dev)
{
	clockevents_set_mode(dev, CLOCK_EVT_MODE_SHUTDOWN);
	dev->next_event.tv64 = KTIME_MAX;
}