Symbol: xen_allocate_pirq_msi