From 985b7bf73694f0c18721dc1ee526f1c470f2fcd7 Mon Sep 17 00:00:00 2001
From: philip <philip@FreeBSD.org>
Date: Sat, 13 Nov 2004 01:49:22 +0000
Subject: 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(-)

(limited to 'usr.sbin/acpi')

diff --git a/usr.sbin/acpi/acpidb/acpidb.c b/usr.sbin/acpi/acpidb/acpidb.c
index fcdb7c5..6ad8e96 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);
-- 
cgit v1.1