gic_v3_gic_alloc_msi
DEVMETHOD(gic_alloc_msi, gic_v3_gic_alloc_msi),
error = gic_v3_gic_alloc_msi(dev, sc->gic_mbi_start,
static gic_alloc_msi_t gic_v3_gic_alloc_msi;