|
@@ -412,7 +412,8 @@ static void stage2_flush_memslot(struct kvm *kvm,
|
|
|
pgd = kvm->arch.pgd + stage2_pgd_index(addr);
|
|
|
do {
|
|
|
next = stage2_pgd_addr_end(addr, end);
|
|
|
- stage2_flush_puds(kvm, pgd, addr, next);
|
|
|
+ if (!stage2_pgd_none(*pgd))
|
|
|
+ stage2_flush_puds(kvm, pgd, addr, next);
|
|
|
} while (pgd++, addr = next, addr != end);
|
|
|
}
|
|
|
|