Symbol: intr_pic_registered