1/******************************************************************************
2 *
3 * Name: acfreebsd.h - OS specific defines, etc.
4 * $Revision: 13 $
5 *
6 *****************************************************************************/
7
8/******************************************************************************
9 *
10 * 1. Copyright Notice
11 *
12 * Some or all of this work - Copyright (c) 1999 - 2004, Intel Corp.
13 * All rights reserved.
14 *
15 * 2. License
16 *
17 * 2.1. This is your license from Intel Corp. under its intellectual property
18 * rights. You may have additional license terms from the party that provided
19 * you this software, covering your right to use that party's intellectual
20 * property rights.
--- 92 unchanged lines hidden (view full) ---
113 * such license, approval or letter.
114 *
115 *****************************************************************************/
116
117#ifndef __ACFREEBSD_H__
118#define __ACFREEBSD_H__
119
120/*
121 * Some systems' ASL may have problems because they look for names
122 * of Microsoft operating systems. To override this, set hw.acpi.os_name
123 * to the appropriate string.
124 */
125#define ACPI_OS_NAME "FreeBSD"
126
127/* FreeBSD uses GCC */
128
129#include "acgcc.h"
130#include <machine/acpica_machdep.h>
131
132#ifdef _KERNEL
133#include "opt_acpi.h"
134#endif
135
136#ifdef ACPI_DEBUG
137#define ACPI_DEBUG_OUTPUT /* for backward compatibility */
138#define ACPI_DISASSEMBLER
139#endif
140
141#ifdef _KERNEL
142#include <sys/ctype.h>
143#include <sys/param.h>
144#include <sys/systm.h>
145#include <sys/libkern.h>
146#include <machine/stdarg.h>
147
148#ifdef DEBUGGER_THREADING
149#undef DEBUGGER_THREADING
150#endif /* DEBUGGER_THREADING */
151#define DEBUGGER_THREADING 0 /* integrated with DDB */
152#ifdef ACPI_DEBUG_OUTPUT
153#include "opt_ddb.h"
154#ifdef DDB
155#define ACPI_DEBUGGER
156#endif /* DDB */
157#endif /* ACPI_DEBUG_OUTPUT */
158
159#else /* _KERNEL */
160
161/* Not building kernel code, so use libc */
162#define ACPI_USE_STANDARD_HEADERS
163#define ACPI_FLUSH_CPU_CACHE()
164#include <sys/types.h>
165
166#define __cli()
167#define __sti()
168
169#endif /* _KERNEL */
170
171/* Always use FreeBSD code over our local versions */
172#define ACPI_USE_SYSTEM_CLIBRARY
--- 36 unchanged lines hidden ---
2 *
3 * Name: acfreebsd.h - OS specific defines, etc.
4 * $Revision: 13 $
5 *
6 *****************************************************************************/
7
8/******************************************************************************
9 *
10 * 1. Copyright Notice
11 *
12 * Some or all of this work - Copyright (c) 1999 - 2004, Intel Corp.
13 * All rights reserved.
14 *
15 * 2. License
16 *
17 * 2.1. This is your license from Intel Corp. under its intellectual property
18 * rights. You may have additional license terms from the party that provided
19 * you this software, covering your right to use that party's intellectual
20 * property rights.
--- 92 unchanged lines hidden (view full) ---
113 * such license, approval or letter.
114 *
115 *****************************************************************************/
116
117#ifndef __ACFREEBSD_H__
118#define __ACFREEBSD_H__
119
120/*
121 * Some systems' ASL may have problems because they look for names
122 * of Microsoft operating systems. To override this, set hw.acpi.os_name
123 * to the appropriate string.
124 */
125#define ACPI_OS_NAME "FreeBSD"
126
127/* FreeBSD uses GCC */
128
129#include "acgcc.h"
130#include <machine/acpica_machdep.h>
131
132#ifdef _KERNEL
133#include "opt_acpi.h"
134#endif
135
136#ifdef ACPI_DEBUG
137#define ACPI_DEBUG_OUTPUT /* for backward compatibility */
138#define ACPI_DISASSEMBLER
139#endif
140
141#ifdef _KERNEL
142#include <sys/ctype.h>
143#include <sys/param.h>
144#include <sys/systm.h>
145#include <sys/libkern.h>
146#include <machine/stdarg.h>
147
148#ifdef DEBUGGER_THREADING
149#undef DEBUGGER_THREADING
150#endif /* DEBUGGER_THREADING */
151#define DEBUGGER_THREADING 0 /* integrated with DDB */
152#ifdef ACPI_DEBUG_OUTPUT
153#include "opt_ddb.h"
154#ifdef DDB
155#define ACPI_DEBUGGER
156#endif /* DDB */
157#endif /* ACPI_DEBUG_OUTPUT */
158
159#else /* _KERNEL */
160
161/* Not building kernel code, so use libc */
162#define ACPI_USE_STANDARD_HEADERS
163#define ACPI_FLUSH_CPU_CACHE()
164#include <sys/types.h>
165
166#define __cli()
167#define __sti()
168
169#endif /* _KERNEL */
170
171/* Always use FreeBSD code over our local versions */
172#define ACPI_USE_SYSTEM_CLIBRARY
--- 36 unchanged lines hidden ---