/* SPDX-License-Identifier: GPL-2.0-only */ | |
#ifndef SOC_INTEL_COMMON_BLOCK_DMI_H | |
#define SOC_INTEL_COMMON_BLOCK_DMI_H | |
#include <types.h> | |
#define PCR_DMI_DMICTL 0x2234 | |
#define PCR_DMI_DMICTL_SRLOCK (1 << 31) | |
#define PCR_DMI_GCS 0x274C | |
#define PCR_DMI_GCS_BILD (1 << 0) | |
/* | |
* Takes base, size and destination ID and configures the GPMR | |
* for accessing the region. | |
*/ | |
enum cb_err dmi_enable_gpmr(uint32_t base, uint32_t size, uint32_t dest_id); | |
#endif /* SOC_INTEL_COMMON_BLOCK_DMI_H */ |