WTF??????

[palacios.git] / palacios / src / geekos / vmm_stubs.c

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index fb52584..96145db 100644 (file)
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -1,9 +1,31 @@
 #include <geekos/vmm_stubs.h>
-
+#include <geekos/serial.h>
 
 
 void * Allocate_VMM_Pages(int num_pages) {
-  return Alloc_Page();
+  void * start_page = Alloc_Page();
+  SerialPrint("Allocating Page: %x (%d of %d)\n",start_page, 1, num_pages); 
+  int i = 1;
+
+  while (i < num_pages) {
+    void * tmp_page = Alloc_Page();
+    SerialPrint("Allocating Page: %x (%d of %d)\n",tmp_page, i+1, num_pages); 
+    
+    if (tmp_page != start_page + (PAGE_SIZE * i)) {
+      //we have to start over...;
+      while (i >= 0) {
+       Free_Page(start_page + (PAGE_SIZE * i));
+       i--;
+      }
+      start_page = Alloc_Page();
+      SerialPrint("Allocating Page: %x (%d of %d)\n",start_page, 1, num_pages);
+      i = 1;
+      continue;
+    }
+    i++;
+  }
+
+  return start_page;
 }
 
 void Free_VMM_Page(void * page) {