bhndb_dw_return_stolen
bhndb_dw_return_stolen(sc->dev, sc->bus_res, \
void bhndb_dw_return_stolen(device_t dev,