8 #include <soc/pci_devs.h>
static void write32(void *addr, uint32_t val)
void bootblock_mainboard_early_init(void)
uint32_t * gpio_pad_config_reg(uint8_t community, uint8_t pad)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
#define PCI_DEV(SEGBUS, DEV, FN)
#define SET_PAD_MODE_SELECTION(pad_config, mode)
#define PAD_CONFIG0_DEFAULT0