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 44 void acpi_enable_dbg_print(bool enable); 45 #endif 46