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