Symbol: powerpc_get_irq