From cec762959b0fca835791a4313a25deef346d4478 Mon Sep 17 00:00:00 2001
From: Scott Long <scottl@FreeBSD.org>
Date: Mon, 25 Nov 2002 04:53:12 +0000
Subject: [PATCH] Fix printf format problems that were stopping LINT on alpha

Submitted by:	jmallett, many others
Approved by:	re
---
 sys/dev/aic7xxx/aic79xx_osm.c | 8 ++++----
 sys/dev/aic7xxx/aic79xx_osm.h | 1 +
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/sys/dev/aic7xxx/aic79xx_osm.c b/sys/dev/aic7xxx/aic79xx_osm.c
index 944c3079ea40..a63fcbc4a7ad 100644
--- a/sys/dev/aic7xxx/aic79xx_osm.c
+++ b/sys/dev/aic7xxx/aic79xx_osm.c
@@ -1927,7 +1927,7 @@ DB_COMMAND(ahd_in, ahd_ddb_in)
 	if (count <= 0)
 		count = 1;
 	while (--count >= 0) {
-		db_printf("%04x (M)%x: \t", addr,
+		db_printf("%04jx (M)%x: \t", (uintmax_t)addr,
 			  ahd_inb(ahd_ddb_softc, MODE_PTR));
 		switch (size) {
 		case 1:
@@ -1986,9 +1986,9 @@ DB_SET(ahd_out, ahd_ddb_out, db_cmd_set, CS_MORE, NULL)
 			ahd_outl(ahd_ddb_softc, addr, new_value);
 			break;
 		}
-		db_printf("%04x (M)%x: \t0x%x\t=\t0x%x",
-			  addr, ahd_inb(ahd_ddb_softc, MODE_PTR),
-			  old_value, new_value);
+		db_printf("%04jx (M)%x: \t0x%jx\t=\t0x%jx",
+			  (uintmax_t)addr, ahd_inb(ahd_ddb_softc, MODE_PTR),
+			  (uintmax_t)old_value, (uintmax_t)new_value);
 		addr += size;
 	}
 	db_skip_to_eol();
diff --git a/sys/dev/aic7xxx/aic79xx_osm.h b/sys/dev/aic7xxx/aic79xx_osm.h
index b645010b22b4..59c300eda22c 100644
--- a/sys/dev/aic7xxx/aic79xx_osm.h
+++ b/sys/dev/aic7xxx/aic79xx_osm.h
@@ -42,6 +42,7 @@
 
 #include <sys/param.h>
 #include <sys/systm.h>
+#include <sys/stdint.h>
 #include <sys/bus.h>		/* For device_t */
 #if __FreeBSD_version >= 500000
 #include <sys/endian.h>