From cf72911158d6fdff2ee524ee62a670d1d2282204 Mon Sep 17 00:00:00 2001
From: Warner Losh <imp@FreeBSD.org>
Date: Sat, 2 Jul 2022 10:35:04 -0600
Subject: [PATCH] acpi: add sys/kernel.h

sys/kernel.h is needed for tunable fetching.

Sponsored by:		Netflix
---
 sys/arm64/acpica/OsdEnvironment.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/arm64/acpica/OsdEnvironment.c b/sys/arm64/acpica/OsdEnvironment.c
index 3d8afd0ab2d5..d1590bee7753 100644
--- a/sys/arm64/acpica/OsdEnvironment.c
+++ b/sys/arm64/acpica/OsdEnvironment.c
@@ -30,6 +30,7 @@ __FBSDID("$FreeBSD$");
 
 #include <sys/types.h>
 #include <sys/bus.h>
+#include <sys/kernel.h>
 #include <sys/sysctl.h>
 
 #include <contrib/dev/acpica/include/acpi.h>