switch (v3_get_vm_cpu_mode(core)) {
case PROTECTED:
return handle_shadow_invlpg_32(core, vaddr);
+ break;
case PROTECTED_PAE:
return handle_shadow_invlpg_32pae(core, vaddr);
+ break;
case LONG:
case LONG_32_COMPAT:
case LONG_16_COMPAT:
return handle_shadow_invlpg_64(core, vaddr);
+ break;
default:
PrintError(core->vm_info, core, "Invalid CPU mode: %s\n", v3_cpu_mode_to_str(v3_get_vm_cpu_mode(core)));
return -1;
+ break;
}
}
case LONG_32_COMPAT:
// Long mode will only use 32PAE page tables...
rc=handle_passthrough_pagefault_32pae(info, fault_addr, error_code, actual_start, actual_end);
-
+ break;
default:
PrintError(info->vm_info, info, "Unknown CPU Mode\n");
break;
case LONG:
case LONG_32_COMPAT:
// Long mode will only use 32PAE page tables...
- rc=invalidate_addr_32pae(info, inv_addr, actual_start, actual_end);
-
+ rc=invalidate_addr_32pae(info, inv_addr, actual_start, actual_end);
+ break;
default:
PrintError(info->vm_info, info, "Unknown CPU Mode\n");
break;
case LONG_32_COMPAT:
// Long mode will only use 32PAE page tables...
rc=invalidate_addr_32pae_range(info, inv_addr_start, inv_addr_end, actual_start, actual_end);
-
+ break;
default:
PrintError(info->vm_info, info, "Unknown CPU Mode\n");
break;