gicv2m_get_msi_addr  110 drivers/irqchip/irq-gic-v2m.c 	phys_addr_t addr = gicv2m_get_msi_addr(v2m, data->hwirq);
gicv2m_get_msi_addr  200 drivers/irqchip/irq-gic-v2m.c 				    gicv2m_get_msi_addr(v2m, hwirq));