Symbol: acrn_ptdev_irq