palacios/include/geekos/vmm_stubs.h

   1 #ifndef __VMM_STUBS_H
   2 #define __VMM_STUBS_H
   3
   4
   5 #include <geekos/mem.h>
   6 #include <geekos/malloc.h>
   7
   8
   9 struct guest_info;
  10
  11 void * Allocate_VMM_Pages(int num_pages);
  12 void Free_VMM_Page(void * page);
  13
  14 void * VMM_Malloc(unsigned int size);
  15 void VMM_Free(void * addr);
  16
  17 void * Identity(void *addr);
  18
  19
  20 int hook_irq_stub(struct guest_info * info, int irq);
  21 int ack_irq(int irq);
  22
  23 void Init_Stubs();
  24 #endif