From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Fri, 4 Apr 2008 23:39:32 +0000 (+0000)
Subject: restored file
X-Git-Tag: working-cdboot-physical-but-not-qemu~37
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=5ad0c835a5bd7181a7a342478bd398ad73712306

restored file
---

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
new file mode 100644
index 0000000..4c37033
--- /dev/null
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -0,0 +1,46 @@
+#include <geekos/vmm_stubs.h>
+#include <geekos/serial.h>
+
+
+
+void * Identity(void *addr) { return addr; };
+
+void * Allocate_VMM_Pages(int num_pages) {
+  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) {
+  Free_Page(page);
+}
+
+
+void * VMM_Malloc(uint_t size) {
+  return Malloc((ulong_t) size);
+}
+
+
+void VMM_Free(void * addr) {
+  Free(addr);
+}