#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);
+
+}