X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=22ae6ef5f8758e50ef9e8b732ac93d7d1cfccd03;hb=09149700a57ced21de742451c9302320ca4eebc2;hp=51f5801eab727dcba8d6feffb372775eddf11a30;hpb=ff58148c2cfbbc82405dc9ec25056cc93c773083;p=palacios-OLD.git

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index 51f5801..22ae6ef 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -1,14 +1,85 @@
 #include <geekos/vmm_stubs.h>
+#include <geekos/serial.h>
+#include <palacios/vm_guest.h>
 
 
+void * Identity(void *addr) { return addr; };
 
 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) {
   Free_Page(page);
 }
+
+
+void * VMM_Malloc(unsigned int size) {
+  return Malloc((unsigned long) size);
+}
+
+
+void VMM_Free(void * addr) {
+  Free(addr);
+}
+
+
+
+
+struct guest_info * irq_map[256];
+
+
+static void pic_intr_handler(struct Interrupt_State * state) {
+  Begin_IRQ(state);
+
+  irq_map[state->intNum]->vm_ops.raise_irq(irq_map[state->intNum], state->intNum, state->errorCode);
+
+  // End_IRQ(state);
+}
+
+
+int hook_irq_stub(struct guest_info * info, int irq) {
+  if (irq_map[irq]) {
+    return -1;
+  }
+
+  SerialPrint("Hooking IRQ: %d (vm=0x%x)\n", irq, info);
+  irq_map[irq] = info;
+  Install_IRQ(irq, pic_intr_handler);
+  Enable_IRQ(irq);
+  return 0;
+}
+
+
+int ack_irq(int irq) {
+  End_IRQ_num(irq);
+  return 0;
+}
+
+  
+void Init_Stubs() {
+  memset(irq_map, 0, sizeof(struct guest_info *) * 256);
+
+}