/* SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 */1/******************************************************************************2*3* Module Name: aczephyr.h - OS specific defines, etc.4*5* Copyright (C) 2000 - 2025, Intel Corp.6*7*****************************************************************************/89#ifndef __ACZEPHYR_H__10#define __ACZEPHYR_H__1112#define ACPI_MACHINE_WIDTH 641314#define ACPI_NO_ERROR_MESSAGES15#undef ACPI_DEBUG_OUTPUT16#define ACPI_USE_SYSTEM_CLIBRARY17#undef ACPI_DBG_TRACK_ALLOCATIONS18#define ACPI_SINGLE_THREADED19#define ACPI_USE_NATIVE_RSDP_POINTER2021#include <zephyr/kernel.h>22#include <zephyr/device.h>23#include <stdio.h>24#include <stdlib.h>25#include <string.h>26#include <ctype.h>27#include <zephyr/fs/fs.h>28#include <zephyr/sys/printk.h>29#include <zephyr/sys/__assert.h>3031/******************************************************************************32*33* FUNCTION: acpi_enable_dbg_print34*35* PARAMETERS: Enable, - Enable/Disable debug print36*37* RETURN: None38*39* DESCRIPTION: Enable/disable debug print40*41*****************************************************************************/4243void acpi_enable_dbg_print(bool enable);44#endif454647