|
@@ -474,9 +474,7 @@ static void FNAME(invlpg)(struct kvm_vcpu *vcpu, gva_t gva)
|
|
|
level = iterator.level;
|
|
|
sptep = iterator.sptep;
|
|
|
|
|
|
- if (level == PT_PAGE_TABLE_LEVEL ||
|
|
|
- ((level == PT_DIRECTORY_LEVEL && is_large_pte(*sptep))) ||
|
|
|
- ((level == PT_PDPE_LEVEL && is_large_pte(*sptep)))) {
|
|
|
+ if (is_last_spte(*sptep, level)) {
|
|
|
struct kvm_mmu_page *sp = page_header(__pa(sptep));
|
|
|
int offset, shift;
|
|
|
|