vmm: Squelch noisy prints
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Feb 2017 17:34:58 +0000 (12:34 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Feb 2017 17:34:58 +0000 (12:34 -0500)
Developers can turn those on, on their own, for debugging.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/io.c
user/vmm/vmexit.c
user/vmm/vmxmsr.c

index b8fae46..b6917b4 100644 (file)
@@ -55,7 +55,7 @@ void regp(uint32_t **reg)
 
 static void configaddr(uint32_t val)
 {
 
 static void configaddr(uint32_t val)
 {
-       printf("%s 0x%lx\n", __func__, val);
+       printd("%s 0x%lx\n", __func__, val);
        cf8 = val;
 }
 
        cf8 = val;
 }
 
@@ -64,7 +64,7 @@ static void configread32(uint32_t edx, uint64_t *reg)
        uint32_t *r = &cf8;
        regp(&r);
        *reg = *r;
        uint32_t *r = &cf8;
        regp(&r);
        *reg = *r;
-       printf("%s: 0x%lx 0x%lx, 0x%lx 0x%lx\n", __func__, cf8, edx, r, *reg);
+       printd("%s: 0x%lx 0x%lx, 0x%lx 0x%lx\n", __func__, cf8, edx, r, *reg);
 }
 
 static void configread16(uint32_t edx, uint64_t *reg)
 }
 
 static void configread16(uint32_t edx, uint64_t *reg)
@@ -74,7 +74,7 @@ static void configread16(uint32_t edx, uint64_t *reg)
        configread32(edx, &val);
        val >>= which;
        *reg = val;
        configread32(edx, &val);
        val >>= which;
        *reg = val;
-       printf("%s: 0x%lx, 0x%lx 0x%lx\n", __func__, edx, val, *reg);
+       printd("%s: 0x%lx, 0x%lx 0x%lx\n", __func__, edx, val, *reg);
 }
 
 static void configread8(uint32_t edx, uint64_t *reg)
 }
 
 static void configread8(uint32_t edx, uint64_t *reg)
@@ -84,7 +84,7 @@ static void configread8(uint32_t edx, uint64_t *reg)
        configread32(edx, &val);
        val >>= which;
        *reg = val;
        configread32(edx, &val);
        val >>= which;
        *reg = val;
-       printf("%s: 0x%lx, 0x%lx 0x%lx\n", __func__, edx, val, *reg);
+       printd("%s: 0x%lx, 0x%lx 0x%lx\n", __func__, edx, val, *reg);
 }
 
 static void configwrite32(uint32_t addr, uint32_t val)
 }
 
 static void configwrite32(uint32_t addr, uint32_t val)
@@ -92,17 +92,17 @@ static void configwrite32(uint32_t addr, uint32_t val)
        uint32_t *r = &cf8;
        regp(&r);
        *r = val;
        uint32_t *r = &cf8;
        regp(&r);
        *r = val;
-       printf("%s 0x%lx 0x%lx\n", __func__, addr, val);
+       printd("%s 0x%lx 0x%lx\n", __func__, addr, val);
 }
 
 static void configwrite16(uint32_t addr, uint16_t val)
 {
 }
 
 static void configwrite16(uint32_t addr, uint16_t val)
 {
-       printf("%s 0x%lx 0x%lx\n", __func__, addr, val);
+       printd("%s 0x%lx 0x%lx\n", __func__, addr, val);
 }
 
 static void configwrite8(uint32_t addr, uint8_t val)
 {
 }
 
 static void configwrite8(uint32_t addr, uint8_t val)
 {
-       printf("%s 0x%lx 0x%lx\n", __func__, addr, val);
+       printd("%s 0x%lx 0x%lx\n", __func__, addr, val);
 }
 
 /* this is very minimal. It needs to move to vmm/io.c but we don't
 }
 
 /* this is very minimal. It needs to move to vmm/io.c but we don't
index 798e8b4..ebb4e01 100644 (file)
@@ -220,7 +220,6 @@ static bool handle_msr(struct guest_thread *gth)
 {
        struct vm_trapframe *vm_tf = gth_to_vmtf(gth);
 
 {
        struct vm_trapframe *vm_tf = gth_to_vmtf(gth);
 
-       /* TODO: consider pushing the gth into msrio */
        if (msrio(gth, gth_to_gpci(gth), vm_tf->tf_exit_reason)) {
                /* Use event injection through vmctl to send a general protection fault
                 * vmctl.interrupt gets written to the VM-Entry Interruption-Information
        if (msrio(gth, gth_to_gpci(gth), vm_tf->tf_exit_reason)) {
                /* Use event injection through vmctl to send a general protection fault
                 * vmctl.interrupt gets written to the VM-Entry Interruption-Information
index e0b9175..0c5d20b 100644 (file)
@@ -289,7 +289,7 @@ int msrio(struct guest_thread *vm_thread, struct vmm_gpcore_init *gpci,
                        continue;
                return emmsrs[i].f(vm_thread, &emmsrs[i], opcode);
        }
                        continue;
                return emmsrs[i].f(vm_thread, &emmsrs[i], opcode);
        }
-       fprintf(stderr, "msrio for 0x%lx failed\n", vm_tf->tf_rcx);
+       printd("msrio for 0x%lx failed\n", vm_tf->tf_rcx);
        return SHUTDOWN_UNHANDLED_EXIT_REASON;
 }
 
        return SHUTDOWN_UNHANDLED_EXIT_REASON;
 }