palacios/src/geekos/vmm_stubs.c

   1 #include <geekos/vmm_stubs.h>
   2
   3
   4
   5 void * Allocate_VMM_Pages(int num_pages) {
   6   return Alloc_Page();
   7 }
   8
   9 void Free_VMM_Page(void * page) {
  10   Free_Page(page);
  11 }
  12
  13
  14 void * VMM_Malloc(uint_t size) {
  15   return Malloc((ulong_t) size);
  16 }
  17
  18
  19 void VMM_Free(void * addr) {
  20   Free(addr);
  21 }