-/* $OpenBSD: drm_linux.c,v 1.30 2018/08/20 16:00:22 mpi Exp $ */
+/* $OpenBSD: drm_linux.c,v 1.31 2018/08/25 18:42:43 kettenis Exp $ */
/*
* Copyright (c) 2013 Jonathan Gray <jsg@openbsd.org>
* Copyright (c) 2015, 2016 Mark Kettenis <kettenis@openbsd.org>
* ACPI types and interfaces.
*/
-#if defined(__amd64__) || defined(__i386__)
+#ifdef __HAVE_ACPI
#include "acpi.h"
#endif
#if defined(__amd64__) || defined(__i386__)
#include <dev/isa/isareg.h>
#include <dev/isa/isavar.h>
-#include "acpi.h"
#endif
#if defined (__loongson__)
#include <machine/autoconf.h>
#endif
+#ifdef __HAVE_ACPI
+#include "acpi.h"
+#endif
+
/*
* BIOS.
*/