pcie_print_acpi_name
pcie_print_acpi_name, NULL, " ", NULL);
pcie_print_acpi_name, NULL, (void *)buf, NULL);
static ACPI_STATUS pcie_print_acpi_name(ACPI_HANDLE hdl, uint32_t nl,