user/vmm: print the RSP as well as RIP
authorRonald G. Minnich <rminnich@gmail.com>
Mon, 21 Nov 2016 16:55:13 +0000 (08:55 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 22 Nov 2016 00:23:55 +0000 (19:23 -0500)
Change-Id: I2f3df21c7a68dd3bde7142b6ba4f255ad62ad9f7
Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/sched.c

index 5286796..30bedd1 100644 (file)
@@ -337,6 +337,7 @@ static void __ctlr_entry(void)
 
                fprintf(stderr, "vmm: handle_vmexit returned false\n");
                fprintf(stderr, "Note: this may be a kernel module, not the kernel\n");
+               fprintf(stderr, "RSP was %p, ", (void *)vm_tf->tf_rsp);
                fprintf(stderr, "RIP was %p:\n", (void *)vm_tf->tf_rip);
                /* TODO: properly walk the kernel page tables to map the tf_rip
                 * to a physical address. For now, however, this hack is good