Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


moved internal memory map routines over to new flags structure instead of the hardcod...
[palacios.git] / palacios / src / palacios / vmm_direct_paging_32pae.h
index f7c1f76..7ce823f 100644 (file)
@@ -103,7 +103,7 @@ static inline int handle_passthrough_pagefault_32pae(struct guest_info * info,
 
        } else if (region->host_type == SHDW_REGION_FULL_HOOK) {
            // trap all accesses
-           return v3_handle_mem_full_hook(info, fault_addr, fault_addr, region, error_code);
+           return v3_handle_mem_hook(info, fault_addr, fault_addr, region, error_code);
 
        } else {
            PrintError("Unknown Region Type...\n");
@@ -113,7 +113,7 @@ static inline int handle_passthrough_pagefault_32pae(struct guest_info * info,
    
     if ( (region->host_type == SHDW_REGION_WRITE_HOOK) && 
         (error_code.write == 1) ) {
-       return v3_handle_mem_wr_hook(info, fault_addr, fault_addr, region, error_code);
+       return v3_handle_mem_hook(info, fault_addr, fault_addr, region, error_code);
     }
 
     return 0;