int rom_size = pci_resource_len(dev, PCI_ROM_RESOURCE);
if (rom_size > 0) {
- unsigned long flags;
+ //unsigned long flags;
v3_dev->exp_rom.size = rom_size;
v3_dev->exp_rom.addr = pci_resource_start(dev, PCI_ROM_RESOURCE);
- flags = pci_resource_flags(dev, PCI_ROM_RESOURCE);
+ // flags = pci_resource_flags(dev, PCI_ROM_RESOURCE);
v3_dev->exp_rom.type = PT_EXP_ROM;
if (argc < 4) {
printf("usage: v3_debug <vm_device> <vm core> <cmd>\n");
+ printf("This will cause debugging output to be sent to the log\n\n");
+ printf("<cmds>: \n");
+ printf(" 1 telemetry\n");
+ printf(" 2 core state\n");
+ printf(" 3 arch state\n");
+ printf(" 4 stack\n");
+ printf(" 5 backtrace\n");
+ printf(" 100 everything\n");
+ printf(" 101 telemetry+core state+arch state\n");
return -1;
}