qdev: print device id in "info pci".

Signed-off-by: Gerd Hoffmann <[email protected]>
Signed-off-by: Anthony Liguori <[email protected]>

diff --git a/hw/pci.c b/hw/pci.c
index 0d51714257b2d7e1dc5db382c9e3c52519470309..3b5a94775f5a0a1e4d8001f197a890f9003c35a7 100644 (file)
--- a/hw/pci.c
+++ b/hw/pci.c
@@ -738,6 +738,7 @@ static void pci_info_device(PCIDevice *d)
             }
         }
     }
+    monitor_printf(mon, "      id \"%s\"\n", d->qdev.id ? d->qdev.id : "");
     if (class == 0x0604 && d->config[0x19] != 0) {
         pci_for_each_device(d->config[0x19], pci_info_device);
     }