palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h

   1
   2
   3 #ifdef V3_CONFIG_SHADOW_CACHE
   4
   5 static inline int activate_shadow_pt_32pae(struct guest_info * info) {
   6     PrintError(info->vm_info, info, "Activating 32 bit PAE page tables not implemented\n");
   7     return -1;
   8 }
   9
  10
  11
  12
  13
  14
  15 /*
  16  * *
  17  * *
  18  * * 32 bit PAE  Page table fault handlers
  19  * *
  20  * *
  21  */
  22
  23 static inline int handle_shadow_pagefault_32pae(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) {
  24     PrintError(info->vm_info, info, "32 bit PAE shadow paging not implemented\n");
  25     return -1;
  26 }
  27
  28
  29 static inline int handle_shadow_invlpg_32pae(struct guest_info * info, addr_t vaddr) {
  30     PrintError(info->vm_info, info, "32 bit PAE shadow paging not implemented\n");
  31     return -1;
  32 }
  33
  34
  35 #endif
  36