more flexible updatepages() interface
PTE locking (using one of the free PTE bits)
guard against concurrent unmaps (except no way to check if vma is deleted yet..)