Symbol: rp1_irq_set_type