diff options
| -rw-r--r-- | sys/dev/ppc/ppc.c | 6 | ||||
| -rw-r--r-- | sys/isa/ppc.c | 6 |
2 files changed, 8 insertions, 4 deletions
diff --git a/sys/dev/ppc/ppc.c b/sys/dev/ppc/ppc.c index f0aa95d..c6818a2 100644 --- a/sys/dev/ppc/ppc.c +++ b/sys/dev/ppc/ppc.c @@ -1785,8 +1785,10 @@ ppc_probe(device_t dev) ppc->rid_extraio = 0; - device_printf(dev, "This ppc chipset does not support the extended I/O port range...no problem\n"); -} + if (bootverbose) + device_printf(dev, +"This ppc chipset does not support the extended I/O port range...no problem\n"); + } ppc->ppc_base = rman_get_start(ppc->res_ioport); diff --git a/sys/isa/ppc.c b/sys/isa/ppc.c index f0aa95d..c6818a2 100644 --- a/sys/isa/ppc.c +++ b/sys/isa/ppc.c @@ -1785,8 +1785,10 @@ ppc_probe(device_t dev) ppc->rid_extraio = 0; - device_printf(dev, "This ppc chipset does not support the extended I/O port range...no problem\n"); -} + if (bootverbose) + device_printf(dev, +"This ppc chipset does not support the extended I/O port range...no problem\n"); + } ppc->ppc_base = rman_get_start(ppc->res_ioport); |
