1 /* SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 */
2 /******************************************************************************
4 * Module Name: aczephyr.h - OS specific defines, etc.
6 * Copyright (C) 2000 - 2023, Intel Corp.
8 *****************************************************************************/
10 #ifndef __ACZEPHYR_H__
11 #define __ACZEPHYR_H__
13 #define ACPI_MACHINE_WIDTH 64
15 #define ACPI_NO_ERROR_MESSAGES
16 #undef ACPI_DEBUG_OUTPUT
17 #define ACPI_USE_SYSTEM_CLIBRARY
18 #undef ACPI_DBG_TRACK_ALLOCATIONS
19 #define ACPI_SINGLE_THREADED
20 #define ACPI_USE_NATIVE_RSDP_POINTER
22 #include <zephyr/kernel.h>
23 #include <zephyr/device.h>
28 #include <zephyr/fs/fs.h>
29 #include <zephyr/sys/printk.h>
30 #include <zephyr/sys/__assert.h>
32 /******************************************************************************
34 * FUNCTION: acpi_enable_dbg_print
36 * PARAMETERS: Enable, - Enable/Disable debug print
40 * DESCRIPTION: Enable/disable debug print
42 *****************************************************************************/
44 void acpi_enable_dbg_print(bool enable);