/*- * This file is in the public domain. */ /* $FreeBSD$ */ #include <x86/acpica_machdep.h>