chipc_release_region
chipc_release_region(sc, cr, RF_ACTIVE);
chipc_release_region(sc, cr, RF_ACTIVE);
chipc_release_region(sc, sc->core_region,
chipc_release_region(sc, sc->core_region, RF_ALLOCATED|RF_ACTIVE);
chipc_release_region(sc, cr, RF_ALLOCATED);
chipc_release_region(sc, cr, RF_ALLOCATED);
int chipc_release_region(struct chipc_softc *sc,
chipc_release_region(sc, cr,