void local_irq_enable(void)