From: Peter Dinda <pdinda@northwestern.edu>
Date: Thu, 18 Jun 2015 22:02:55 +0000 (-0500)
Subject: Detailed segmentation output from v3_debug
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=a20c07e3428f9aa55997befebca7a30721a71145

Detailed segmentation output from v3_debug
---

diff --git a/palacios/src/palacios/vmm_debug.c b/palacios/src/palacios/vmm_debug.c
index e209d54..c2401e8 100644
--- a/palacios/src/palacios/vmm_debug.c
+++ b/palacios/src/palacios/vmm_debug.c
@@ -152,10 +152,20 @@ void v3_print_segments(struct v3_segments * segs) {
 
     for (i = 0; seg_names[i] != NULL; i++) {
 
-	V3_Print(VM_NONE, VCORE_NONE, "\t%s: Sel=%x, base=%p, limit=%x (long_mode=%d, db=%d)\n", seg_names[i], seg_ptr[i].selector, 
-		   (void *)(addr_t)seg_ptr[i].base, seg_ptr[i].limit,
-		   seg_ptr[i].long_mode, seg_ptr[i].db);
-
+	V3_Print(VM_NONE, VCORE_NONE, "\t%s: selector=0x%x, base=%p, limit=0x%x type=0x%x system=0x%x dpl=0x%x present=0x%x avail=0x%x long_mode=0x%x db=0x%x granularity=0x%x unusable=0x%x\n", 
+		 seg_names[i], 
+		 seg_ptr[i].selector, 
+		 (void *)(addr_t)seg_ptr[i].base, 
+		 seg_ptr[i].limit,
+		 seg_ptr[i].type,
+		 seg_ptr[i].system,
+		 seg_ptr[i].dpl,
+		 seg_ptr[i].present,
+		 seg_ptr[i].avail,
+		 seg_ptr[i].long_mode,
+		 seg_ptr[i].db,
+		 seg_ptr[i].granularity,
+		 seg_ptr[i].unusable);
     }
 }