On 8/28/2026 4:13 PM, Pierrick Bouvier wrote:
> On 8/28/2026 3:58 PM, Pierrick Bouvier wrote:
>> Now that we can link a single-binary with at least two targets (arm, aarch64),
>> we want to make sure that we expose the same set of machines (later devices and
>> cpus) than target binaries. For that, we implemented a static filtering based on
>> target interfaces that each machine will implement to declare which targets have
>> this machine.
>>
>> However, we discovered that this static filtering is not enough. Indeed, some
>> machines and devices do not depend only on target, and their presence can depend
>> on Kconfig or host/target combination. Thus, our static approach can't work, and
>> we need something more flexible.
>>
>> The goal of this series is to focus on the filtering mechanism, not on the
>> qemu-system binary itself, even though it's included here to give a full picture
>> of what we are building.
>>
>> v3
>> --
>>
>> Suggested by Richard, we simply use a callback added to TypeInfo.
>> Added full example with a single binary for arm+aarch64, and then
>> arm+aarch64+microblaze.
>> Also, added scripts/single-binary-compare-cmdline.sh, which compares list of
>> cpus, devices and machines between single-binary and original binaries.
>> This is what we can use in CI to ensure we correctly tagged all QOM types.
>>
>
> After applying this series, and running
> scripts/single-binary-compare-cmdline.sh, you'll see than many devices
> are visible for microblaze, and should not.
>
For reference, please find attached the list of devices that are not yet
filtered for qemu-system -target microblaze.
Regards,
Pierrickninja: Entering directory `build'
[1/113] Generating qemu-version.h with a custom command (wrapped by meson to capture output)
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
[1mdiff --git a/dev/fd/63 b/dev/fd/62[m
[1m--- a/dev/fd/63[m
[1m+++ b/dev/fd/62[m
[36m@@ -1,9 +1,40 @@[m
[32mController/Bridge/Hub devices:[m
[32mname "i82801b11-bridge", bus PCI[m
[32mname "ioh3420", bus PCI, desc "Intel IOH device id 3420 PCIE Root Port"[m
[32mname "pci-bridge", bus PCI, desc "Standard PCI Bridge"[m
[32mname "pci-bridge-seat", bus PCI, desc "Standard PCI Bridge (multiseat)"[m
[32mname "pcie-pci-bridge", bus PCI[m
[32mname "pcie-root-port", bus PCI, desc "PCI Express Root Port"[m
[32mname "pxb", bus PCI, desc "PCI Expander Bridge"[m
[32mname "pxb-cxl", bus PCI, desc "CXL Host Bridge"[m
[32mname "pxb-pcie", bus PCI, desc "PCI Express Expander Bridge"[m
[32mname "usb-host", bus usb-bus[m
[32mname "usb-hub", bus usb-bus[m
[32mname "x3130-upstream", bus PCI, desc "TI X3130 Upstream Port of PCI Express Switch"[m
[32mname "xio3130-downstream", bus PCI, desc "TI X3130 Downstream Port of PCI Express Switch"[m
[32mUSB devices:[m
[32mname "ich9-usb-ehci1", bus PCI[m
[32mname "ich9-usb-ehci2", bus PCI[m
[32mname "ich9-usb-uhci1", bus PCI[m
[32mname "ich9-usb-uhci2", bus PCI[m
[32mname "ich9-usb-uhci3", bus PCI[m
[32mname "ich9-usb-uhci4", bus PCI[m
[32mname "ich9-usb-uhci5", bus PCI[m
[32mname "ich9-usb-uhci6", bus PCI[m
[32mname "nec-usb-xhci", bus PCI[m
[32mname "pci-ohci", bus PCI, desc "Apple USB Controller"[m
[32mname "piix3-usb-uhci", bus PCI[m
[32mname "piix4-usb-uhci", bus PCI[m
[32mname "qemu-xhci", bus PCI[m
[32mname "usb-ehci", bus PCI[m
Storage devices:[m
name "160s33b", bus SSI, desc "Serial Flash"[m
name "25csm04", bus SSI, desc "Serial Flash"[m
name "320s33b", bus SSI, desc "Serial Flash"[m
name "640s33b", bus SSI, desc "Serial Flash"[m
[32mname "am53c974", bus PCI, desc "AMD Am53c974 PCscsi-PCI SCSI adapter"[m
name "at25128a-nonjedec", bus SSI, desc "Serial Flash"[m
name "at25256a-nonjedec", bus SSI, desc "Serial Flash"[m
name "at25df041a", bus SSI, desc "Serial Flash"[m
[36m@@ -16,6 +47,9 @@[m [mname "at26df161a", bus SSI, desc "Serial Flash"[m
name "at26df321", bus SSI, desc "Serial Flash"[m
name "at26f004", bus SSI, desc "Serial Flash"[m
name "at45db081d", bus SSI, desc "Serial Flash"[m
[32mname "cxl-type3", bus PCI, desc "CXL Memory Device (Type 3)"[m
[32mname "dc390", bus PCI, desc "Tekram DC-390 SCSI adapter"[m
[32mname "emmc", bus sd-bus, desc "eMMC"[m
name "en25f32", bus SSI, desc "Serial Flash"[m
name "en25p32", bus SSI, desc "Serial Flash"[m
name "en25p64", bus SSI, desc "Serial Flash"[m
[36m@@ -23,6 +57,10 @@[m [mname "en25q32b", bus SSI, desc "Serial Flash"[m
name "en25q64", bus SSI, desc "Serial Flash"[m
name "gd25q32", bus SSI, desc "Serial Flash"[m
name "gd25q64", bus SSI, desc "Serial Flash"[m
[32mname "ich9-ahci", bus PCI, alias "ahci"[m
[32mname "ide-cd", bus IDE, desc "virtual IDE CD-ROM"[m
[32mname "ide-cf", bus IDE, desc "virtual CompactFlash card"[m
[32mname "ide-hd", bus IDE, desc "virtual IDE disk"[m
name "is25lp016d", bus SSI, desc "Serial Flash"[m
name "is25lp032", bus SSI, desc "Serial Flash"[m
name "is25lp064", bus SSI, desc "Serial Flash"[m
[36m@@ -34,6 +72,8 @@[m [mname "is25wp032", bus SSI, desc "Serial Flash"[m
name "is25wp064", bus SSI, desc "Serial Flash"[m
name "is25wp128", bus SSI, desc "Serial Flash"[m
name "is25wp256", bus SSI, desc "Serial Flash"[m
[32mname "lsi53c810", bus PCI[m
[32mname "lsi53c895a", bus PCI, alias "lsi"[m
name "m25p05", bus SSI, desc "Serial Flash"[m
name "m25p10", bus SSI, desc "Serial Flash"[m
name "m25p128", bus SSI, desc "Serial Flash"[m
[36m@@ -53,6 +93,9 @@[m [mname "m25px64", bus SSI, desc "Serial Flash"[m
name "m45pe10", bus SSI, desc "Serial Flash"[m
name "m45pe16", bus SSI, desc "Serial Flash"[m
name "m45pe80", bus SSI, desc "Serial Flash"[m
[32mname "megasas", bus PCI, desc "LSI MegaRAID SAS 1078"[m
[32mname "megasas-gen2", bus PCI, desc "LSI MegaRAID SAS 2108"[m
[32mname "mptsas1068", bus PCI, desc "LSI SAS 1068"[m
name "mt25ql01g", bus SSI, desc "Serial Flash"[m
name "mt25ql02g", bus SSI, desc "Serial Flash"[m
name "mt25ql512ab", bus SSI, desc "Serial Flash"[m
[36m@@ -93,6 +136,11 @@[m [mname "n25q512a", bus SSI, desc "Serial Flash"[m
name "n25q512a11", bus SSI, desc "Serial Flash"[m
name "n25q512a13", bus SSI, desc "Serial Flash"[m
name "n25q512ax3", bus SSI, desc "Serial Flash"[m
[32mname "nvdimm", desc "DIMM memory module"[m
[32mname "nvme", bus PCI, desc "Non-Volatile Memory Express"[m
[32mname "nvme-ns", bus nvme-bus, desc "Virtual NVMe namespace"[m
[32mname "nvme-subsys", desc "Virtual NVMe subsystem"[m
[32mname "pvscsi", bus PCI[m
name "s25fl016k", bus SSI, desc "Serial Flash"[m
name "s25fl064k", bus SSI, desc "Serial Flash"[m
name "s25fl129p0", bus SSI, desc "Serial Flash"[m
[36m@@ -112,6 +160,13 @@[m [mname "s25sl12800", bus SSI, desc "Serial Flash"[m
name "s25sl12801", bus SSI, desc "Serial Flash"[m
name "s70fl01gs", bus SSI, desc "Serial Flash"[m
name "s70fs01gs", bus SSI, desc "Serial Flash"[m
[32mname "scsi-block", bus SCSI, desc "SCSI block device passthrough"[m
[32mname "scsi-cd", bus SCSI, desc "virtual SCSI CD-ROM"[m
[32mname "scsi-generic", bus SCSI, desc "pass through generic scsi device (/dev/sg*)"[m
[32mname "scsi-hd", bus SCSI, desc "virtual SCSI disk"[m
[32mname "sd-card", bus sd-bus[m
[32mname "sd-card-spi", bus sd-bus, desc "SD SPI"[m
[32mname "sdhci-pci", bus PCI[m
name "sst25vf016b", bus SSI, desc "Serial Flash"[m
name "sst25vf032b", bus SSI, desc "Serial Flash"[m
name "sst25vf040b", bus SSI, desc "Serial Flash"[m
[36m@@ -121,6 +176,37 @@[m [mname "sst25wf020", bus SSI, desc "Serial Flash"[m
name "sst25wf040", bus SSI, desc "Serial Flash"[m
name "sst25wf080", bus SSI, desc "Serial Flash"[m
name "sst25wf512", bus SSI, desc "Serial Flash"[m
[32mname "ufs", bus PCI, desc "Universal Flash Storage"[m
[32mname "usb-bot", bus usb-bus[m
[32mname "usb-mtp", bus usb-bus, desc "USB Media Transfer Protocol device"[m
[32mname "usb-storage", bus usb-bus[m
[32mname "usb-uas", bus usb-bus[m
[32mname "vhost-scsi", bus virtio-bus[m
[32mname "vhost-scsi-pci", bus PCI[m
[32mname "vhost-scsi-pci-non-transitional", bus PCI[m
[32mname "vhost-scsi-pci-transitional", bus PCI[m
[32mname "vhost-user-blk", bus virtio-bus[m
[32mname "vhost-user-blk-pci", bus PCI[m
[32mname "vhost-user-blk-pci-non-transitional", bus PCI[m
[32mname "vhost-user-blk-pci-transitional", bus PCI[m
[32mname "vhost-user-fs-device", bus virtio-bus[m
[32mname "vhost-user-fs-pci", bus PCI[m
[32mname "vhost-user-scsi", bus virtio-bus[m
[32mname "vhost-user-scsi-pci", bus PCI[m
[32mname "vhost-user-scsi-pci-non-transitional", bus PCI[m
[32mname "vhost-user-scsi-pci-transitional", bus PCI[m
[32mname "virtio-9p-device", bus virtio-bus[m
[32mname "virtio-9p-pci", bus PCI[m
[32mname "virtio-9p-pci-non-transitional", bus PCI[m
[32mname "virtio-9p-pci-transitional", bus PCI[m
[32mname "virtio-blk-device", bus virtio-bus[m
[32mname "virtio-blk-pci", bus PCI[m
[32mname "virtio-blk-pci-non-transitional", bus PCI[m
[32mname "virtio-blk-pci-transitional", bus PCI[m
[32mname "virtio-scsi-device", bus virtio-bus[m
[32mname "virtio-scsi-pci", bus PCI[m
[32mname "virtio-scsi-pci-non-transitional", bus PCI[m
[32mname "virtio-scsi-pci-transitional", bus PCI[m
name "w25q01jvq", bus SSI, desc "Serial Flash"[m
name "w25q02jvm", bus SSI, desc "Serial Flash"[m
name "w25q256", bus SSI, desc "Serial Flash"[m
[36m@@ -138,8 +224,215 @@[m [mname "w25x40", bus SSI, desc "Serial Flash"[m
name "w25x64", bus SSI, desc "Serial Flash"[m
name "w25x80", bus SSI, desc "Serial Flash"[m
[32mNetwork devices:[m
[32mname "e1000", bus PCI, alias "e1000-82540em", desc "Intel Gigabit Ethernet"[m
[32mname "e1000-82544gc", bus PCI, desc "Intel Gigabit Ethernet"[m
[32mname "e1000-82545em", bus PCI, desc "Intel Gigabit Ethernet"[m
[32mname "e1000e", bus PCI, desc "Intel 82574L GbE Controller"[m
[32mname "i82550", bus PCI, desc "Intel i82550 Ethernet"[m
[32mname "i82551", bus PCI, desc "Intel i82551 Ethernet"[m
[32mname "i82557a", bus PCI, desc "Intel i82557A Ethernet"[m
[32mname "i82557b", bus PCI, desc "Intel i82557B Ethernet"[m
[32mname "i82557c", bus PCI, desc "Intel i82557C Ethernet"[m
[32mname "i82558a", bus PCI, desc "Intel i82558A Ethernet"[m
[32mname "i82558b", bus PCI, desc "Intel i82558B Ethernet"[m
[32mname "i82559a", bus PCI, desc "Intel i82559A Ethernet"[m
[32mname "i82559b", bus PCI, desc "Intel i82559B Ethernet"[m
[32mname "i82559c", bus PCI, desc "Intel i82559C Ethernet"[m
[32mname "i82559er", bus PCI, desc "Intel i82559ER Ethernet"[m
[32mname "i82562", bus PCI, desc "Intel i82562 Ethernet"[m
[32mname "i82801", bus PCI, desc "Intel i82801 Ethernet"[m
[32mname "igb", bus PCI, desc "Intel 82576 Gigabit Ethernet Controller"[m
[32mname "ne2k_pci", bus PCI[m
[32mname "pcnet", bus PCI[m
[32mname "rocker", bus PCI, desc "Rocker Switch"[m
[32mname "rtl8139", bus PCI[m
[32mname "tulip", bus PCI[m
[32mname "usb-net", bus usb-bus[m
[32mname "virtio-net-device", bus virtio-bus[m
[32mname "virtio-net-pci", bus PCI[m
[32mname "virtio-net-pci-non-transitional", bus PCI[m
[32mname "virtio-net-pci-transitional", bus PCI[m
[32mname "vmxnet3", bus PCI, desc "VMWare Paravirtualized Ethernet v3"[m
[32mInput devices:[m
[32mname "ccid-card-emulated", bus ccid-bus, desc "emulated smartcard"[m
[32mname "ccid-card-passthru", bus ccid-bus, desc "passthrough smartcard"[m
[32mname "ipoctal232", bus IndustryPack, desc "GE IP-Octal 232 8-channel RS-232 IndustryPack"[m
[32mname "pci-serial", bus PCI[m
[32mname "pci-serial-2x", bus PCI[m
[32mname "pci-serial-4x", bus PCI[m
[32mname "tpci200", bus PCI, desc "TEWS TPCI200 IndustryPack carrier"[m
[32mname "usb-braille", bus usb-bus[m
[32mname "usb-ccid", bus usb-bus, desc "CCID Rev 1.1 smartcard reader"[m
[32mname "usb-kbd", bus usb-bus[m
[32mname "usb-mouse", bus usb-bus[m
[32mname "usb-serial", bus usb-bus[m
[32mname "usb-tablet", bus usb-bus[m
[32mname "usb-wacom-tablet", bus usb-bus, desc "QEMU PenPartner Tablet"[m
[32mname "vhost-user-gpio-device", bus virtio-bus[m
[32mname "vhost-user-gpio-pci", bus PCI[m
[32mname "vhost-user-i2c-device", bus virtio-bus[m
[32mname "vhost-user-i2c-pci", bus PCI[m
[32mname "vhost-user-input", bus virtio-bus[m
[32mname "vhost-user-input-pci", bus PCI[m
[32mname "vhost-user-rng", bus virtio-bus[m
[32mname "vhost-user-rng-pci", bus PCI[m
[32mname "vhost-user-scmi", bus virtio-bus[m
[32mname "vhost-user-scmi-pci", bus PCI[m
[32mname "vhost-user-spi-device", bus virtio-bus[m
[32mname "vhost-user-spi-pci", bus PCI[m
[32mname "vhost-user-test-device", bus virtio-bus[m
[32mname "vhost-user-test-device-pci", bus PCI[m
[32mname "virtconsole", bus virtio-serial-bus[m
[32mname "virtio-input-host-device", bus virtio-bus[m
[32mname "virtio-input-host-pci", bus PCI[m
[32mname "virtio-keyboard-device", bus virtio-bus[m
[32mname "virtio-keyboard-pci", bus PCI[m
[32mname "virtio-mouse-device", bus virtio-bus[m
[32mname "virtio-mouse-pci", bus PCI[m
[32mname "virtio-multitouch-device", bus virtio-bus[m
[32mname "virtio-multitouch-pci", bus PCI[m
[32mname "virtio-serial-device", bus virtio-bus[m
[32mname "virtio-serial-pci", bus PCI[m
[32mname "virtio-serial-pci-non-transitional", bus PCI[m
[32mname "virtio-serial-pci-transitional", bus PCI[m
[32mname "virtio-tablet-device", bus virtio-bus[m
[32mname "virtio-tablet-pci", bus PCI[m
[32mname "virtserialport", bus virtio-serial-bus[m
[32mDisplay devices:[m
[32mname "ati-vga", bus PCI[m
[32mname "bochs-display", bus PCI[m
[32mname "cirrus-vga", bus PCI, desc "Cirrus CLGD 54xx VGA"[m
[32mname "dm163", desc "DM163 8x3-channel constant current LED driver"[m
[32mname "led", desc "LED"[m
[32mname "ramfb", bus System, desc "ram framebuffer standalone device"[m
[32mname "secondary-vga", bus PCI[m
[32mname "ssd0323", bus SSI[m
[32mname "VGA", bus PCI[m
[32mname "vhost-user-gpu", bus virtio-bus[m
[32mname "vhost-user-gpu-pci", bus PCI[m
[32mname "virtio-gpu-device", bus virtio-bus[m
[32mname "virtio-gpu-gl-device", bus virtio-bus[m
[32mname "virtio-gpu-gl-pci", bus PCI[m
[32mname "virtio-gpu-pci", bus PCI[m
[32mSound devices:[m
[32mname "AC97", bus PCI, alias "ac97", desc "Intel 82801AA AC97 Audio"[m
[32mname "ES1370", bus PCI, alias "es1370", desc "ENSONIQ AudioPCI ES1370"[m
[32mname "hda-duplex", bus HDA, desc "HDA Audio Codec, duplex (line-out, line-in)"[m
[32mname "hda-micro", bus HDA, desc "HDA Audio Codec, duplex (speaker, microphone)"[m
[32mname "hda-output", bus HDA, desc "HDA Audio Codec, output-only (line-out)"[m
[32mname "ich9-intel-hda", bus PCI, desc "Intel HD Audio Controller (ich9)"[m
[32mname "intel-hda", bus PCI, desc "Intel HD Audio Controller (ich6)"[m
[32mname "usb-audio", bus usb-bus[m
[32mname "vhost-user-snd", bus virtio-bus[m
[32mname "vhost-user-snd-pci", bus PCI[m
[32mname "virtio-sound-device", bus virtio-bus[m
[32mname "virtio-sound-pci", bus PCI, desc "Virtio Sound"[m
Misc devices:[m
[32mname "acpi-erst", bus PCI, desc "ACPI Error Record Serialization Table (ERST) device"[m
[32mname "adc128d818", bus i2c-bus[m
[32mname "adm1266", bus i2c-bus, desc "Analog Devices ADM1266 Hot Swap controller"[m
[32mname "adm1272", bus i2c-bus, desc "Analog Devices ADM1272 Hot Swap controller"[m
[32mname "aspeed.i2c.slave", bus i2c-bus, desc "Aspeed I2C Bus Slave"[m
[32mname "at24c-eeprom", bus i2c-bus[m
[32mname "axp209_pmu", bus i2c-bus[m
[32mname "axp221_pmu", bus i2c-bus[m
[32mname "ctucan_pci", bus PCI, desc "CTU CAN PCI"[m
[32mname "dps310", bus i2c-bus[m
[32mname "ds1338", bus i2c-bus[m
[32mname "edu", bus PCI[m
[32mname "emc1413", bus i2c-bus[m
[32mname "emc1414", bus i2c-bus[m
name "guest-loader", desc "Guest Loader"[m
[32mname "i2c-ddc", bus i2c-bus[m
[32mname "i2c-echo", bus i2c-bus[m
[32mname "iommu-testdev", bus PCI, desc "A test device for IOMMU"[m
[32mname "isl69259", bus i2c-bus, desc "Renesas ISL69259 Digital Multiphase Voltage Regulator"[m
[32mname "isl69260", bus i2c-bus, desc "Renesas ISL69260 Digital Multiphase Voltage Regulator"[m
[32mname "ivshmem-doorbell", bus PCI, desc "Inter-VM shared memory"[m
[32mname "ivshmem-plain", bus PCI, desc "Inter-VM shared memory"[m
[32mname "kvaser_pci", bus PCI, desc "Kvaser PCICANx"[m
name "loader", desc "Generic Loader"[m
[32mname "lsm303dlhc_mag", bus i2c-bus[m
[32mname "m41t80", bus i2c-bus[m
[32mname "max31785", bus i2c-bus, desc "Maxim MAX31785 6-Channel Fan Controller"[m
[32mname "max34451", bus i2c-bus, desc "Maxim MAX34451 16-Channel V/I monitor"[m
[32mname "mioe3680_pci", bus PCI, desc "Mioe3680 PCICANx"[m
[32mname "mock-i3c-target", bus i3c-bus[m
[32mname "pca9535", bus i2c-bus[m
[32mname "pca9536", bus i2c-bus[m
[32mname "pca9546", bus i2c-bus, desc "Pca954x i2c-mux"[m
[32mname "pca9548", bus i2c-bus, desc "Pca954x i2c-mux"[m
[32mname "pca9552", bus i2c-bus[m
[32mname "pca9554", bus i2c-bus[m
[32mname "pca9555", bus i2c-bus[m
[32mname "pci-testdev", bus PCI, desc "PCI Test Device"[m
[32mname "pcm3680_pci", bus PCI, desc "Pcm3680i PCICANx"[m
[32mname "pvpanic-pci", bus PCI[m
[32mname "raa228000", bus i2c-bus, desc "Renesas 228000 Digital Multiphase Voltage Regulator"[m
[32mname "raa229004", bus i2c-bus, desc "Renesas 229004 Digital Multiphase Voltage Regulator"[m
[32mname "rs5c372", bus i2c-bus[m
[32mname "sii9022", bus i2c-bus[m
[32mname "ssd0303", bus i2c-bus[m
[32mname "tmp105", bus i2c-bus[m
[32mname "tmp421", bus i2c-bus[m
[32mname "tmp422", bus i2c-bus[m
[32mname "tmp423", bus i2c-bus[m
[32mname "tpm-tis-device", bus System[m
[32mname "tpm-tis-i2c", bus i2c-bus[m
[32mname "u2f-passthru", bus usb-bus, desc "QEMU U2F passthrough key"[m
name "uefi-vars-sysbus", bus System[m
name "uefi-vars-x64", bus System[m
[32mname "usb-redir", bus usb-bus[m
[32mname "vfio-pci", bus PCI, desc "VFIO-based PCI device assignment"[m
[32mname "vfio-pci-nohotplug", bus PCI, desc "VFIO-based PCI device assignment"[m
[32mname "vfio-user-pci", bus PCI, desc "VFIO over socket PCI device assignment"[m
[32mname "vhost-user-rtc", bus virtio-bus[m
[32mname "vhost-user-rtc-pci", bus PCI[m
[32mname "vhost-user-vsock-device", bus virtio-bus[m
[32mname "vhost-user-vsock-pci", bus PCI[m
[32mname "vhost-user-vsock-pci-non-transitional", bus PCI[m
[32mname "vhost-vdpa-device", bus virtio-bus, desc "VDPA-based generic device assignment"[m
[32mname "vhost-vdpa-device-pci", bus PCI[m
[32mname "vhost-vdpa-device-pci-non-transitional", bus PCI[m
[32mname "vhost-vdpa-device-pci-transitional", bus PCI[m
[32mname "vhost-vsock-device", bus virtio-bus[m
[32mname "vhost-vsock-pci", bus PCI[m
[32mname "vhost-vsock-pci-non-transitional", bus PCI[m
[32mname "virtio-balloon-device", bus virtio-bus[m
[32mname "virtio-balloon-pci", bus PCI[m
[32mname "virtio-balloon-pci-non-transitional", bus PCI[m
[32mname "virtio-balloon-pci-transitional", bus PCI[m
[32mname "virtio-crypto-device", bus virtio-bus[m
[32mname "virtio-crypto-pci", bus PCI[m
[32mname "virtio-iommu-device", bus virtio-bus[m
[32mname "virtio-iommu-pci", bus PCI[m
[32mname "virtio-mem", bus virtio-bus[m
[32mname "virtio-mem-pci", bus PCI[m
[32mname "virtio-rng-device", bus virtio-bus[m
[32mname "virtio-rng-pci", bus PCI[m
[32mname "virtio-rng-pci-non-transitional", bus PCI[m
[32mname "virtio-rng-pci-transitional", bus PCI[m
[32mname "virtio-rtc-device", bus virtio-bus[m
[32mname "virtio-rtc-pci", bus PCI[m
[32mname "vmcoreinfo"[m
[32mname "wm8750", bus i2c-bus[m
[32mWatchdog devices:[m
[32mname "i6300esb", bus PCI, desc "Intel 6300ESB"[m
[32mname "sbsa-gwdt", bus System, desc "SBSA-compliant generic watchdog device"[m
[32mUncategorized devices:[m
[32mname "arm-smmuv3", bus System[m
[32mname "aspeed-otp"[m
[32mname "cfam", bus fsi.bus, desc "FSI Slave"[m
[32mname "cxl-switch-mailbox-cci", bus PCI, desc "CXL Switch Mailbox CCI"[m
[32mname "fsi.master", bus opb, desc "FSI Master"[m
[32mname "fsi.scratchpad", bus fsi.lbus[m
[32mname "fsi.slave", bus fsi.bus, desc "FSI Slave"[m
[32mname "pc-dimm", desc "DIMM memory module"[m
[32mname "ufs-lu", bus ufs-bus, desc "Virtual UFS logical unit"[m