Symbol: distopic_disable_irq