10 #include <soc/pci_devs.h>
12 #define INTEL_TBT_IMR_VALID_UUID "C44D002F-69F9-4E7D-A904-A7BAABDF43F7"
13 #define INTEL_TBT_WAKE_SUPPORTED_UUID "6C501103-C189-4296-BA72-9BF5A26EBE5D"
15 #if CONFIG(HAVE_ACPI_TABLES)
16 static const char *tbt_dma_acpi_name(
const struct device *dev)
28 static void tbt_dma_fill_ssdt(
const struct device *dev)
74 #if CONFIG(HAVE_ACPI_TABLES)
75 .acpi_name = tbt_dma_acpi_name,
76 .acpi_fill_ssdt = tbt_dma_fill_ssdt,
80 static const struct pci_driver usb4_driver
__pci_driver = {
struct acpi_dp * acpi_dp_add_package(struct acpi_dp *dp, struct acpi_dp *package)
const char * acpi_device_path(const struct device *dev)
struct acpi_dp * acpi_dp_add_integer(struct acpi_dp *dp, const char *name, uint64_t value)
void acpi_dp_write(struct acpi_dp *table)
struct acpi_dp * acpi_dp_new_table(const char *name)
void acpigen_pop_len(void)
void acpigen_write_scope(const char *name)
const struct soc_tcss_ops tcss_ops
void pci_dev_enable_resources(struct device *dev)
void pci_dev_read_resources(struct device *dev)
struct pci_operations pci_dev_ops_pci
Default device operation for PCI devices.
void pci_dev_set_resources(struct device *dev)
#define PCI_DID_INTEL_MTL_P_TBT_DMA1
#define PCI_DID_INTEL_TGL_TBT_DMA1
#define PCI_DID_INTEL_TGL_TBT_DMA0
#define PCI_DID_INTEL_TGL_H_TBT_DMA1
#define PCI_DID_INTEL_TGL_H_TBT_DMA0
#define PCI_DID_INTEL_MTL_M_TBT_DMA0
#define PCI_DID_INTEL_MTL_P_TBT_DMA0
#define PCI_DID_INTEL_ADL_TBT_DMA1
#define PCI_DID_INTEL_ADL_TBT_DMA0
void scan_generic_bus(struct device *bus)
#define SA_DEVFN_TCSS_DMA0
#define SA_DEVFN_TCSS_DMA1
void(* read_resources)(struct device *dev)
bool(* valid_tbt_auth)(void)
#define INTEL_TBT_WAKE_SUPPORTED_UUID
static const struct pci_driver usb4_driver __pci_driver
static const unsigned short pci_device_ids[]
#define INTEL_TBT_IMR_VALID_UUID
static struct device_operations usb4_dev_ops