It appears that for a memslot that crosses a PUD range unmap_range may return prematurely if lower pud is not mapping anything. kvm_pud_addr_end(..) will return end and the loop will terminate possibly leaving unmapped ranges. Am I missing something? - Mario _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm