diff --git a/dev/pccard/pccbb/pccbb.c b/dev/pccard/pccbb/pccbb.c --- a/dev/pccard/pccbb/pccbb.c +++ b/dev/pccard/pccbb/pccbb.c @@ -1027,8 +1027,8 @@ ; else if (rle->res == NULL) { device_printf(sc->dev, "WARNING: Resource not reserved? " - "(type=%d, addr=%lx)\n", - rle->type, rman_get_start(rle->res)); + "(type=%d)\n", + rle->type); } else if (!(rman_get_flags(rle->res) & RF_ACTIVE)) { /* XXX */ } else if (starts[0] == 0xffffffff) {