/* Called after a notify add to make devices available which were released from the notifier call.  */
static void clockevents_notify_released(void)
/* Called after a notify add to make devices available which were released from the notifier call.  */
static void clockevents_notify_released(void)
{
	struct clock_event_device *dev;
	while (!list_empty(&clockevents_released)) {
		dev = list_entry(clockevents_released.next,
				 struct clock_event_device, list);
		list_del(&dev->list);
		list_add(&dev->list, &clockevent_devices);
		clockevents_do_notify(CLOCK_EVT_NOTIFY_ADD, dev);
	}
}