534             dev = aml_device("S%.02X", devfn);  in build_append_pcihp_slots()
576         dev = aml_device("S%.02X", devfn);  in build_append_pci_bus_devices()
790     Aml *dev = aml_device("HPET");  in build_hpet_aml()
841     dev = aml_device("VMBS");  in build_vmbus_device_aml()
912     dev = aml_device("%s", name);  in build_link_dev()
948     dev = aml_device("%s", name);  in build_gsi_link_dev()
1035     dev = aml_device("LNKS");  in build_piix4_pci0_int()
1196     dev = aml_device("DRAC");  in build_q35_dram_controller()
1341     dev = aml_device("CXLM");  in build_acpi0017()
1389         dev = aml_device("PCI0");  in build_dsdt()
1402         dev = aml_device("PCI0");  in build_dsdt()
1415             dev = aml_device("PCI0.SMI0");  in build_dsdt()
1509                 dev = aml_device("CL%.02X", bus_num);  in build_dsdt()
1511                 dev = aml_device("PC%.02X", bus_num);  in build_dsdt()
1636     dev = aml_device("GPE0");  in build_dsdt()
1657         dev = aml_device("PHPR");  in build_dsdt()
1727         dev = aml_device("TPM");  in build_dsdt()
1749         dev = aml_device("EPC");  in build_dsdt()