Symbol: acrn_irqfd_config