void local_irq_disable(void)