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