*****************************************************************************/
/*
- * Copyright (C) 2000 - 2015, Intel Corp.
+ * Copyright (C) 2000 - 2017, Intel Corp.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
#ifndef __ACDRAGONFLY_H_
#define __ACDRAGONFLY_H_
-#include <platform/acgcc.h> /* DragonFly uses GCC */
#include <sys/types.h>
#ifdef __LP64__
#else
#define ACPI_MACHINE_WIDTH 32
#define ACPI_USE_NATIVE_DIVIDE
+#define ACPI_USE_NATIVE_MATH64
#endif
#define ACPI_UINTPTR_T uintptr_t
#undef DEBUGGER_THREADING
#endif /* DEBUGGER_THREADING */
#define DEBUGGER_THREADING DEBUGGER_SINGLE_THREADED /* integrated with DDB */
-#if 0 /* XXX */
#include "opt_ddb.h"
#ifdef DDB
#define ACPI_DEBUGGER
#endif /* DDB */
#define ACPI_DISASSEMBLER
#endif
-#endif
#ifdef ACPI_DEBUG_CACHE
#define ACPI_USE_ALTERNATE_PROTOTYPE_AcpiOsReleaseObject