return -1;
}
- return v3_delete_shadow_region(info, reg);
+ v3_delete_shadow_region(info, reg);
+
+ return 0;
}
// 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_vm_mem_mode(info);
if (mem_mode == PHYSICAL_MEM) {
addr_t cur_addr;
// 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_vm_mem_mode(info);
if (mem_mode == PHYSICAL_MEM) {
addr_t cur_addr;