/* 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 |