7 #include <soc/pci_devs.h>
8 #include <soc/romstage.h>
9 #include <soc/systemagent.h>
33 const bool vtd_capable =
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
static __always_inline void mchbar_write32(const uintptr_t offset, const uint32_t value)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
static __always_inline void pci_write_config8(const struct device *dev, u16 reg, u8 val)
#define GFXVT_BASE_ADDRESS
#define EDRAM_BASE_ADDRESS
#define VTVC0_BASE_ADDRESS
#define GDXC_BASE_ADDRESS
void systemagent_early_init(void)
static void broadwell_setup_bars(void)