timekeeper_unlock_irqrestore
void timekeeper_unlock_irqrestore(unsigned long flags);
timekeeper_unlock_irqrestore(flags);