diff options
| -rw-r--r-- | sys/dev/ppc/ppc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/dev/ppc/ppc.c b/sys/dev/ppc/ppc.c index 4186aadb5f74..08967344021f 100644 --- a/sys/dev/ppc/ppc.c +++ b/sys/dev/ppc/ppc.c @@ -1720,7 +1720,8 @@ ppc_probe(device_t dev, int rid) if (bootverbose) device_printf(dev, "using normal I/O port range\n"); } else { - device_printf(dev, "cannot reserve I/O port range\n"); + if (bootverbose) + device_printf(dev, "cannot reserve I/O port range\n"); goto error; } } |