How is that synchronized with code that walks the same pagetable. These
walks may not hold mmap_sem either. I would expect that one could only
remove a portion of the pagetable where we have some sort of guarantee
that no accesses occur. So the removal of the vma prior ensures that?
--