gic_v2m_init
if (gic_v2m_init(frame, dev, msi_frame->MsiFrameId) != 0)
int gic_v2m_init(struct gic_v2m_frame *, device_t, uint32_t);
if (gic_v2m_init(frame, sc->sc_gicdev, sc->sc_v2m_count++) != 0) {
if (gic_v2m_init(frame, sc->sc_gic.sc_dev, frame_count++) != 0) {