Symbol: mshv_user_irq_table