Symbol: et131x_disable_interrupts