acpi_pci_update_device
acpi_pci_update_device(handle, child);
static void acpi_pci_update_device(ACPI_HANDLE handle, device_t pci_child);