From c19da1c7af9e22af84aead7aaedf2b0727558d1e Mon Sep 17 00:00:00 2001
From: Doug Rabson <dfr@FreeBSD.org>
Date: Tue, 12 Mar 2002 09:45:17 +0000
Subject: [PATCH] Only i386 has wbinvd().

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

diff --git a/sys/dev/acpica/acpica_support.c b/sys/dev/acpica/acpica_support.c
index 00951ab91c7a..749edbddad7a 100644
--- a/sys/dev/acpica/acpica_support.c
+++ b/sys/dev/acpica/acpica_support.c
@@ -85,7 +85,9 @@ AcpiEnterSleepStateS4Bios (
 
     /* flush caches */
 
+#ifdef __i386__
     wbinvd();
+#endif
 
     /* write the value to command port and wait until we enter sleep state */
     do