Symbol: pic_set_irq1