/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef __MAINBOARD_EMU_Q35_H__
#define __MAINBOARD_EMU_Q35_H__

#include <device/pci_type.h>
#include <types.h>

#define HOST_BRIDGE	PCI_DEV(0, 0, 0)

#define D0F0_PCIEXBAR_LO	0x60
#define D0F0_PCIEXBAR_HI	0x64

#define D0F0_PAM(x)		(0x90 + (x)) /* 0-6 */

#define SMRAMC			0x9d
#define  G_SMRAME		(1 << 3)
#define  D_LCK			(1 << 4)
#define  D_CLS			(1 << 5)
#define  D_OPEN			(1 << 6)

#define ESMRAMC			0x9e
#define  T_EN			(1 << 0)
#define  TSEG_SZ_MASK		(3 << 1)
#define  H_SMRAME		(1 << 7)

uint32_t make_pciexbar(void);

void mainboard_machine_check(void);

#endif