1 files changed, 8 insertions, 13 deletions

diff --git a/sys/pci/agp_i810.c b/sys/pci/agp_i810.c
index ba8267457e9d..b2ff72fd53a4 100644
--- a/sys/pci/agp_i810.c
+++ b/sys/pci/agp_i810.c
@@ -474,13 +474,12 @@ agp_i810_attach(device_t dev)
 				agp_generic_detach(dev);
 				return EINVAL;
 		}
-
-		if (bootverbose) {
-			device_print_prettyname(dev);
-			if (sc->stolen > 0)
-				printf("detected %dk stolen memory, ", sc->stolen * 4);
-			printf("aperture size is %dM\n", sc->initial_aperture / 1024 / 1024);
+		if (sc->stolen > 0) {
+			device_printf(dev, "detected %dk stolen memory\n",
+			    sc->stolen * 4);
 		}
+		device_printf(dev, "aperture size is %dM\n",
+		    sc->initial_aperture / 1024 / 1024);
 
 		/* GATT address is already in there, make sure it's enabled */
 		pgtblctl = bus_read_4(sc->sc_res[0], AGP_I810_PGTBL_CTL);
@@ -665,13 +664,9 @@ agp_i810_attach(device_t dev)
 		gtt_size += 4;
 
 		sc->stolen = (stolen - gtt_size) * 1024 / 4096;
-
-		if (bootverbose) {
-			device_print_prettyname(dev);
-			if (sc->stolen > 0)
-				printf("detected %dk stolen memory, ", sc->stolen * 4);
-			printf("aperture size is %dM\n", sc->initial_aperture / 1024 / 1024);
-		}
+		if (sc->stolen > 0)
+			device_printf(dev, "detected %dk stolen memory\n", sc->stolen * 4);
+		device_printf(dev, "aperture size is %dM\n", sc->initial_aperture / 1024 / 1024);
 
 		/* GATT address is already in there, make sure it's enabled */
 		pgtblctl = bus_read_4(sc->sc_res[0], AGP_I810_PGTBL_CTL);