acpi_pci_update_device
acpi_pci_update_device(handle, devlist[i]);
static void acpi_pci_update_device(ACPI_HANDLE handle, device_t pci_child);