|
@@ -832,8 +832,7 @@ static int mapping_level(struct kvm_vcpu *vcpu, gfn_t large_gfn)
|
|
|
if (host_level == PT_PAGE_TABLE_LEVEL)
|
|
|
return host_level;
|
|
|
|
|
|
- max_level = kvm_x86_ops->get_lpage_level() < host_level ?
|
|
|
- kvm_x86_ops->get_lpage_level() : host_level;
|
|
|
+ max_level = min(kvm_x86_ops->get_lpage_level(), host_level);
|
|
|
|
|
|
for (level = PT_DIRECTORY_LEVEL; level <= max_level; ++level)
|
|
|
if (has_wrprotected_page(vcpu->kvm, large_gfn, level))
|