Loading...
Searching...
No Matches
Go to the documentation of this file.
152#ifndef __ACFREEBSD_H__
153#define __ACFREEBSD_H__
159#define ACPI_MACHINE_WIDTH 64
161#define ACPI_MACHINE_WIDTH 32
164#define COMPILER_DEPENDENT_INT64 int64_t
165#define COMPILER_DEPENDENT_UINT64 uint64_t
167#define ACPI_UINTPTR_T uintptr_t
169#define ACPI_USE_DO_WHILE_0
170#define ACPI_USE_LOCAL_CACHE
171#define ACPI_USE_NATIVE_DIVIDE
172#define ACPI_USE_NATIVE_MATH64
173#define ACPI_USE_SYSTEM_CLIBRARY
177#include <sys/ctype.h>
178#include <sys/param.h>
179#include <sys/systm.h>
180#include <sys/libkern.h>
181#include <machine/acpica_machdep.h>
182#include <machine/stdarg.h>
186#define ACPI_MUTEX_TYPE ACPI_OSL_MUTEX
189#define ACPI_DEBUG_OUTPUT
190#define ACPI_DISASSEMBLER
193#ifdef ACPI_DEBUG_OUTPUT
200#ifdef DEBUGGER_THREADING
201#undef DEBUGGER_THREADING
204#define DEBUGGER_THREADING 0
212#define ACPI_CAST_PTHREAD_T(pthread) ((ACPI_THREAD_ID) ACPI_TO_INTEGER (pthread))
214#define ACPI_USE_STANDARD_HEADERS
216#define ACPI_FLUSH_CPU_CACHE()