@@ -63,12 +63,14 @@ struct PCIBus {
static void pcibus_dev_print(Monitor *mon, DeviceState *dev, int indent);
static char *pcibus_get_dev_path(DeviceState *dev);
+static char *pcibus_get_fw_dev_path(DeviceState *dev);
static struct BusInfo pci_bus_info = {
.name = "PCI",
.size = sizeof(PCIBus),
.print_dev = pcibus_dev_print,
.get_dev_path = pcibus_get_dev_path,
+ .get_fw_dev_path = pcibus_get_fw_dev_path,
.props = (Property[]) {
DEFINE_PROP_PCI_DEVFN("addr", PCIDevice, devfn, -1),
DEFINE_PROP_STRING("romfile", PCIDevice, romfile),
@@ -2135,6 +2137,58 @@ static void pcibus_dev_print(Monitor *mon, DeviceState *dev, int indent)
}
}
+static char *pci_dev_fw_name(DeviceState *dev, char *buf, int len)
+{
+ PCIDevice *d = (PCIDevice *)dev;
+ const char *name = NULL;
+
+#define E(R, N) case R: name = N; break;
+
+ /* names taken from pci binding for open firmware */
+ switch (pci_get_word(d->config + PCI_CLASS_DEVICE)) {
+ E(0x0001, "display"); E(0x0100, "scsi"); E(0x0101, "ide");
+ E(0x0102, "fdc"); E(0x0103, "ipi"); E(0x0104, "raid");
+ E(0x0200, "ethernet"); E(0x0201, "token-ring"); E(0x0202, "fddi");
+ E(0x0203, "atm"); E(0x0300 ... 0x03ff, "display"); E(0x0400, "video");
+ E(0x0401, "sound"); E(0x0500, "memory"); E(0x0501, "flash");
+ E(0x0600, "host"); E(0x0601, "isa"); E(0x0602, "eisa");
+ E(0x0603, "mca"); E(0x0604, "pci"); E(0x0605, "pcmcia");
+ E(0x0606, "nubus"); E(0x0607, "cardbus"); E(0x0700, "serial");
+ E(0x0701, "parallel"); E(0x0800, "interrupt-controller");
+ E(0x0801, "dma-controller"); E(0x0802, "timer");
+ E(0x0803, "rtc"); E(0x0900, "keyboard"); E(0x0901, "pen");
+ E(0x0902, "mouse"); E(0x0a00 ... 0x0aff, "dock");
+ E(0x0b00 ... 0x0bff, "cpu"); E(0x0c00, "fireware");
+ E(0x0c01, "access-bus"); E(0x0c02, "ssa"); E(0x0c03, "usb");
+ E(0x0c04, "fibre-channel");
+ }
+#undef E
+
+ if (name) {
+ pstrcpy(buf, len, name);
+ } else {
+ snprintf(buf, len, "pci%04x,%04x",
+ pci_get_word(d->config + PCI_VENDOR_ID),
+ pci_get_word(d->config + PCI_DEVICE_ID));
+ }
+
+ return buf;
+}
+
+static char *pcibus_get_fw_dev_path(DeviceState *dev)
+{
+ PCIDevice *d = (PCIDevice *)dev;
+ char path[50], name[33];
+ int off;
+
+ off = snprintf(path, sizeof(path), "%s@%x",
+ pci_dev_fw_name(dev, name, sizeof name),
+ PCI_SLOT(d->devfn));
+ if (PCI_FUNC(d->devfn))
+ snprintf(path + off, sizeof(path) + off, ",%x", PCI_FUNC(d->devfn));
+ return strdup(path);
+}
+
static char *pcibus_get_dev_path(DeviceState *dev)
{
PCIDevice *d = (PCIDevice *)dev;