Symbol: sti_mbox_irq_to_channel