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