9 #include <soc/device_nvs.h>
11 #include <soc/pci_devs.h>
12 #include <soc/ramstage.h>
15 #define CAP_OVERRIDE_LOW 0xa0
16 #define CAP_OVERRIDE_HIGH 0xa4
17 #define USE_CAP_OVERRIDES (1 << 31)
23 if (
config->sdcard_cap_low != 0 ||
config->sdcard_cap_high != 0) {
42 static const struct pci_driver southcluster
__pci_driver = {
#define printk(level,...)
static DEVTREE_CONST void * config_of(const struct device *dev)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
void pci_dev_enable_resources(struct device *dev)
void pci_dev_read_resources(struct device *dev)
void pci_dev_set_resources(struct device *dev)
struct pci_operations soc_pci_ops
void scc_enable_acpi_mode(struct device *dev, int iosf_reg, int nvs_index)
static const struct device_operations device_ops
static const struct pci_driver southcluster __pci_driver
#define CAP_OVERRIDE_HIGH
#define USE_CAP_OVERRIDES
static void sd_init(struct device *dev)
void(* read_resources)(struct device *dev)