Lines Matching full:monitor_printf
724 monitor_printf(mon, " Bus %2d, device %3d, function %d:\n",
727 monitor_printf(mon, " ");
732 monitor_printf(mon, "%s", desc->desc);
734 monitor_printf(mon, "Class %04x", class);
736 monitor_printf(mon, ": PCI device %04x:%04x\n",
741 monitor_printf(mon, " IRQ %d.\n",
745 monitor_printf(mon, " BUS %d.\n", d->config[0x19]);
750 monitor_printf(mon, " BAR%d: ", i);
752 monitor_printf(mon, "I/O at 0x%04x [0x%04x].\n",
755 monitor_printf(mon, "32 bit memory at 0x%08x [0x%08x].\n",
