3 #include <soc/pci_devs.h>
9 #define PCI_ME_HFSTS4 0x64
10 #define PTT_ENABLE (1 << 19)
32 if (fwsts4 == 0xFFFFFFFF)
#define printk(level,...)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
static uint32_t read_register(int reg_addr)