From 9599d206a445b0e08a539ed909c6228ea91fcefb Mon Sep 17 00:00:00 2001
From: Philip Paeps <philip@FreeBSD.org>
Date: Sat, 13 Nov 2004 01:49:22 +0000
Subject: [PATCH] Two uint32_t casts crept in where they shouldn't have.
 ACPI_TYPE_INTEGER can be 64 bits wide in acpi v2.

---
 usr.sbin/acpi/acpidb/acpidb.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/usr.sbin/acpi/acpidb/acpidb.c b/usr.sbin/acpi/acpidb/acpidb.c
index fcdb7c586fb7..6ad8e96cfeff 100644
--- a/usr.sbin/acpi/acpidb/acpidb.c
+++ b/usr.sbin/acpi/acpidb/acpidb.c
@@ -159,8 +159,8 @@ aml_simulate_prompt(char *msg, ACPI_INTEGER def_val)
 	if (msg != NULL) {
 		printf("%s", msg);
 	}
-	printf("(default: 0x%x ", (uint32_t)val);
-	printf(" / %u) >>", (uint32_t)val);
+	printf("(default: 0x%jx ", val);
+	printf(" / %ju) >>", val);
 	fflush(stdout);
 
 	bzero(buf, sizeof buf);