10 #include <soc/pci_devs.h>
11 #include <soc/ramstage.h>
42 reg32 =
read32((
void *)(abar + 0x04));
44 write32((
void *)(abar + 0x04), reg32);
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
#define printk(level,...)
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_config16(const struct device *dev, u16 reg, u16 val)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define PCI_COMMAND_MASTER
#define PCI_COMMAND_MEMORY
#define PCI_BASE_ADDRESS_5
void pci_dev_enable_resources(struct device *dev)
void pci_dev_read_resources(struct device *dev)
void pci_dev_set_resources(struct device *dev)
#define PCI_DID_INTEL_DNV_SATA_AHCI_1
#define PCI_DID_INTEL_DNV_SATA_AHCI_2
struct pci_operations soc_pci_ops
static void sata_enable(struct device *dev)
static const struct pci_driver soc_sata __pci_driver
static void sata_init(struct device *dev)
static struct device_operations sata_ops
static const unsigned short pci_device_ids[]
void(* read_resources)(struct device *dev)