gicv2m_get_msi_addr
gicv2m_get_msi_addr(v2m, hwirq));
phys_addr_t addr = gicv2m_get_msi_addr(v2m, data->hwirq);