Symbol: vmd_irq_list