palacios/src/palacios/vmm_shadow_paging_32pae.h

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