| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| #ifndef _STM_PLATFORM_RESOURCE_H_ | |
| #define _STM_PLATFORM_RESOURCE_H_ | |
| #define MASK0 0 | |
| #define MASK64 0xFFFFFFFFFFFFFFFFull | |
| // LPC | |
| #define LPC_DEVICE 31 | |
| #define LPC_FUNCTION 0 | |
| #define R_ACPI_PM_BASE 0x40 | |
| #define ACPI_PM_BASE_MASK 0xFFF8 | |
| /* | |
| * Add resources to BIOS resource database. | |
| */ | |
| void add_resources_cmd(void); | |
| #endif |