45 lines
1.2 KiB
C
45 lines
1.2 KiB
C
/* SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 */
|
|
/******************************************************************************
|
|
*
|
|
* Module Name: aczephyr.h - OS specific defines, etc.
|
|
*
|
|
* Copyright (C) 2000 - 2023, 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
|