From 2e230a609ec5267126d1119ff18df60e01c3976e Mon Sep 17 00:00:00 2001
From: Steffen Vogel <steffen.voge@rwth-aachen.de>
Date: Thu, 10 Oct 2013 11:50:38 +0200
Subject: [PATCH] added more output to vma_dump()

---
 mm/vma.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/mm/vma.c b/mm/vma.c
index b6139e02..f1e64580 100644
--- a/mm/vma.c
+++ b/mm/vma.c
@@ -72,9 +72,10 @@ int vma_dump(task_t* task)
 
 	spinlock_lock(&task->vma_lock);
 
+	int cnt = 0;
 	tmp = task->vma_list;
 	while (tmp) {
-		kprintf("%8x - %8x: ", tmp->start, tmp->end);
+		kprintf("#%d\t%8x - %8x: size=%6x, flags=", cnt, tmp->start, tmp->end, tmp->end - tmp->start);
 
 		if (tmp->type & VMA_READ)
 			kputs("r");
@@ -93,6 +94,7 @@ int vma_dump(task_t* task)
 		kputs("\n");
 
 		tmp = tmp->next;
+		cnt++;
 	}
 
 	spinlock_unlock(&task->vma_lock);