void local_irq_restore(unsigned long flags)