| /* | |
| * Copyright (c) 2023 Intel Corporation | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <inttypes.h> | |
| /* Exclude PCIE header */ | |
| #define ZEPHYR_INCLUDE_DRIVERS_PCIE_PCIE_H_ | |
| /* Exclude Logging macrobatic */ | |
| #define ZEPHYR_INCLUDE_LOGGING_LOG_H_ | |
| #define LOG_MODULE_REGISTER(...) | |
| #define LOG_DBG(...) | |
| #define LOG_ERR(...) | |
| #define LOG_WRN(...) | |
| #define CONFIG_ACPI_IRQ_VECTOR_MAX 32 | |
| #define CONFIG_ACPI_MMIO_ENTRIES_MAX 32 | |
| typedef uint32_t pcie_bdf_t; | |
| #define CONFIG_ACPI_DEV_MAX 1 | |
| #define _AcpiModuleName "" |