palacios/include/palacios/vmm_direct_paging.h

   1 #ifndef __VMM_DIRECT_PAGING_H__
   2 #define __VMM_DIRECT_PAGING_H__
   3
   4 #ifdef __V3VEE__
   5
   6 #include <palacios/vmm_mem.h>
   7 #include <palacios/vmm_paging.h>
   8
   9 pde32_t * v3_create_direct_passthrough_pts(struct guest_info * guest_info);
  10
  11 int v3_handle_shadow_pagefault_physical_mode(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
  12
  13 #endif // ! __V3VEE__
  14
  15 #endif