From 149e6c67ca80e72066ff84a0138914a6896559fb Mon Sep 17 00:00:00 2001
From: Olivier Certner <olce@FreeBSD.org>
Date: Wed, 28 Jan 2026 10:45:15 +0100
Subject: [PATCH] acpi_spmc(4): Fix compilation on 32-bit platforms

Fixes:          c5daa5a4c32c ("acpi_spmc: Add system power management controller driver")
Sponsored by:   The FreeBSD Foundation
---
 sys/dev/acpica/acpi_spmc.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sys/dev/acpica/acpi_spmc.c b/sys/dev/acpica/acpi_spmc.c
index 57593d9ccae..d8d28d59340 100644
--- a/sys/dev/acpica/acpi_spmc.c
+++ b/sys/dev/acpica/acpi_spmc.c
@@ -15,6 +15,8 @@
 #include <sys/uuid.h>
 #include <sys/kdb.h>
 
+#include <machine/_inttypes.h>
+
 #include <contrib/dev/acpica/include/acpi.h>
 #include <contrib/dev/acpica/include/accommon.h>
 
@@ -247,7 +249,8 @@ acpi_spmc_check_dsm_set(struct acpi_spmc_softc *sc, ACPI_HANDLE handle,
 	if ((dsms_supported & dsm_set->dsms_expected)
 	    != dsm_set->dsms_expected) {
 		device_printf(sc->dev, "DSM set %s does not support expected "
-		    "DSMs (0x%lx vs 0x%lx). Some methods may fail.\n",
+		    "DSMs (%#" PRIx64 " vs %#" PRIx64 "). "
+		    "Some methods may fail.\n",
 		    dsm_set->name, dsms_supported, dsm_set->dsms_expected);
 	}
 	sc->dsm_sets |= dsm_set->flag;