From 494ae5601d712171cdcb280645db5102f1479a61 Mon Sep 17 00:00:00 2001
From: Mitsuru IWASAKI <iwasaki@FreeBSD.org>
Date: Sun, 19 May 2002 15:12:40 +0000
Subject: [PATCH] Terminate ACPI subsystem on reboot. Some machines stuck on
 reboot if ACPI sleep/wakeup was executed.

---
 sys/dev/acpica/acpi.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sys/dev/acpica/acpi.c b/sys/dev/acpica/acpi.c
index 93c96259cc18..eca16b3772e1 100644
--- a/sys/dev/acpica/acpi.c
+++ b/sys/dev/acpica/acpi.c
@@ -932,6 +932,9 @@ acpi_shutdown_final(void *arg, int howto)
 	    DELAY(1000000);
 	    printf("ACPI power-off failed - timeout\n");
 	}
+    } else {
+	printf("Terminate ACPI\n");
+	AcpiTerminate();
     }
 }