gic_v3_reserve_msi_range
DEVMETHOD(gic_reserve_msi_range, gic_v3_reserve_msi_range),
gic_v3_reserve_msi_range(dev, sc->gic_mbi_start,
static gic_reserve_msi_range_t gic_v3_reserve_msi_range;