1/* SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 */
2/******************************************************************************
3 *
4 * Module Name: aczephyr.h - OS specific defines, etc.
5 *
6 * Copyright (C) 2000 - 2023, Intel Corp.
7 *
8 *****************************************************************************/
9
10#ifndef __ACZEPHYR_H__
11#define __ACZEPHYR_H__
12
13#define ACPI_MACHINE_WIDTH      64
14
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
21
22#include <zephyr/kernel.h>
23#include <zephyr/device.h>
24#include <stdio.h>
25#include <stdlib.h>
26#include <string.h>
27#include <ctype.h>
28#include <zephyr/fs/fs.h>
29#include <zephyr/sys/printk.h>
30#include <zephyr/sys/__assert.h>
31
32/******************************************************************************
33 *
34 * FUNCTION:    acpi_enable_dbg_print
35 *
36 * PARAMETERS:  Enable, 	            - Enable/Disable debug print
37 *
38 * RETURN:      None
39 *
40 * DESCRIPTION: Enable/disable debug print
41 *
42 *****************************************************************************/
43
44void acpi_enable_dbg_print(bool enable);
45#endif
46