> >> >> Do we have to check here some place if the original pmd is actually >> allowed to write? (e.g. what about read-only mappings ?) Or is that >> handled by the fault handler already? > > Huh, doesn't the if do that? Right, yes :) -- Thanks, David / dhildenb