src/mainboard/aopen/dxplplusu/acpi_tables.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <acpi/acpi.h>
   4 #include <device/pci_def.h>
   5
   6 unsigned long acpi_fill_madt(unsigned long current)
   7 {
   8         struct device *bdev, *dev = NULL;
   9         struct resource *res = NULL;
  10
  11         bdev = pcidev_on_root(2, 0);
  12         /* P64H2 Bus B IOAPIC */
  13         if (bdev)
  14                 dev = pcidev_path_behind(bdev->downstream, PCI_DEVFN(28, 0));
  15         if (dev) {
  16                 res = find_resource(dev, PCI_BASE_ADDRESS_0);
  17                 current += acpi_create_madt_ioapic_from_hw((acpi_madt_ioapic_t *)current, res->base);
  18         }
  19
  20         /* P64H2 Bus A IOAPIC */
  21         if (bdev)
  22                 dev = pcidev_path_behind(bdev->downstream, PCI_DEVFN(30, 0));
  23         if (dev) {
  24                 res = find_resource(dev, PCI_BASE_ADDRESS_0);
  25                 current += acpi_create_madt_ioapic_from_hw((acpi_madt_ioapic_t *)current, res->base);
  26         }
  27
  28         return current;
  29 }