gicv2m_unalloc_msi
gicv2m_unalloc_msi(v2m, hwirq, nr_irqs);
gicv2m_unalloc_msi(v2m, d->hwirq, nr_irqs);