Symbol: init_7751se_IRQ