1 /* SPDX-License-Identifier: BSD-2-Clause */
3 #ifndef _STM_PLATFORM_RESOURCE_H_
4 #define _STM_PLATFORM_RESOURCE_H_
7 #define MASK64 0xFFFFFFFFFFFFFFFFull
12 #define LPC_FUNCTION 0
13 #define R_ACPI_PM_BASE 0x40
14 #define ACPI_PM_BASE_MASK 0xFFF8
17 * Add resources to BIOS resource database.
19 void add_resources_cmd(void);