From: Peter Dinda <pdinda@northwestern.edu>
Date: Mon, 18 Mar 2013 18:58:08 +0000 (-0500)
Subject: General cleanup and help on v3_debug
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=ea744834e3c756db65cdc211be929891cecafe09

General cleanup and help on v3_debug
---

diff --git a/linux_module/iface-host-pci-hw.h b/linux_module/iface-host-pci-hw.h
index 1736c90..2a575b6 100644
--- a/linux_module/iface-host-pci-hw.h
+++ b/linux_module/iface-host-pci-hw.h
@@ -110,11 +110,11 @@ static int setup_hw_pci_dev(struct host_pci_device * host_dev) {
 	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;
 
diff --git a/linux_usr/v3_debug.c b/linux_usr/v3_debug.c
index e322d29..5d018ed 100644
--- a/linux_usr/v3_debug.c
+++ b/linux_usr/v3_debug.c
@@ -23,6 +23,15 @@ int main(int argc, char* argv[]) {
 
     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;
     }