| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #include <acpi/acpigen.h> | |
| #include <acpi/acpi.h> | |
| #include <device/device.h> | |
| unsigned long acpi_fill_mcfg(unsigned long current) | |
| { | |
| current += acpi_create_mcfg_mmconfig((acpi_mcfg_mmconfig_t *)current, | |
| CONFIG_MMCONF_BASE_ADDRESS, 0, 0, CONFIG_MMCONF_BUS_NUMBER - 1); | |
| return current; | |
| } |