11 #include <soc/pci_devs.h>
13 #include <soc/romstage.h>
#define SB_BIOS_CONFIG_PS2_EN_VCC
#define BIOS_RESET_CPL_ALL_DONE
#define BIOS_RESET_CPL_RESET_DONE
#define SB_BIOS_CONFIG_PS2_EN_VNN
void iosf_punit_write(int reg, uint32_t val)
uint32_t iosf_punit_read(int reg)
#define SB_BIOS_CONFIG_PERF_MODE
#define IOSF_OP_WRITE_PMC
#define SB_BIOS_CONFIG_PDM_MODE
#define printk(level,...)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
static __always_inline u8 pci_read_config8(const struct device *dev, u16 reg)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define RID_C_STEPPING_START