soc/intel/common: Fix ACPI device name for USB4 DMA device
The USB4 host interface (DMA) devices need to use SA_DEVFN_*
instead of SA_DEV_* when determining the ACPI name.
The matching names are removed from the SOC-level ACPI name
handler since they are provided by this driver now.
TEST=boot on volteer and ensure TDM0 device is in the SSDT.
Signed-off-by: Duncan Laurie <dlaurie@google.com>
Change-Id: If778bda82b80593452a590962dbffef6eff6484a
Reviewed-on: https://review.coreboot.org/c/coreboot/+/46543
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
diff --git a/src/soc/intel/common/block/usb4/usb4.c b/src/soc/intel/common/block/usb4/usb4.c
index 7c545f6..df2dfdd 100644
--- a/src/soc/intel/common/block/usb4/usb4.c
+++ b/src/soc/intel/common/block/usb4/usb4.c
@@ -15,9 +15,9 @@
static const char *tbt_dma_acpi_name(const struct device *dev)
{
switch (dev->path.pci.devfn) {
- case SA_DEV_TCSS_DMA0:
+ case SA_DEVFN_TCSS_DMA0:
return "TDM0";
- case SA_DEV_TCSS_DMA1:
+ case SA_DEVFN_TCSS_DMA1:
return "TDM1";
default:
return NULL;