X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_mem.c;h=5d9b4ea4c229f3b1d62bca7fa7a2abfacdff951b;hp=3a9b16d4a182c9f60778ab1308e7d372472a4ab3;hb=57de08049d9a345445d26741c5ee0f7f9e5c2fcc;hpb=a70930549d1b741704dd7af4e6bb0e89f6f8a519 diff --git a/palacios/src/palacios/vmm_mem.c b/palacios/src/palacios/vmm_mem.c index 3a9b16d..5d9b4ea 100644 --- a/palacios/src/palacios/vmm_mem.c +++ b/palacios/src/palacios/vmm_mem.c @@ -210,7 +210,7 @@ struct v3_shadow_region * insert_shadow_region(struct guest_info * info, // flush virtual page tables // 3 cases shadow, shadow passthrough, and nested if (info->shdw_pg_mode == SHADOW_PAGING) { - v3_vm_mem_mode_t mem_mode = v3_get_mem_mode(info); + v3_mem_mode_t mem_mode = v3_get_mem_mode(info); if (mem_mode == PHYSICAL_MEM) { addr_t cur_addr; @@ -338,7 +338,7 @@ void v3_delete_shadow_region(struct guest_info * info, struct v3_shadow_region * // flush virtual page tables // 3 cases shadow, shadow passthrough, and nested if (info->shdw_pg_mode == SHADOW_PAGING) { - v3_vm_mem_mode_t mem_mode = v3_get_mem_mode(info); + v3_mem_mode_t mem_mode = v3_get_mem_mode(info); if (mem_mode == PHYSICAL_MEM) { addr_t cur_addr;