On Fri, May 30, 2014 at 07:04:15PM -0700, Mario Smarduch wrote: > Hi, > it appears that stage2_flush_memslot(), unmap_range(), > and stage2_get_pmd() all assume a valid pgd entry and pass it off > to pud_offset(). The checks for the valid descriptor are made in > PUD functions. For 3-level tables the pud layer checks for null > pgd entries, but for 4-level it appears like it can pass off > an null pgd entry, there are no pgd_present() checks. Im thinking > of a case where a memslot range that covered a pgd has not been accessed. > Jungseok's patches address this for stage2_get_pmd() but you're right, I think he needs to address it for stage2_flush_memslot() and unmap_range() as well. -Christoffer _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
