On Aug 6, 2008, at 2:55 AM, Imre Deak wrote:
Currently page loaning (at least) is broken on ARM VIPT platforms.The reason is that possible dirty cache lines are not taken into accountat the moment, following is a fix for this. The fix is validated against the latest breakage related to the socket page loaning reported earlier on the list.
This is close to what I checked in but actually has a few missing corner cases. The version I checked works for the always failing scp sdp:/lib/libc.so .Adding KASSERT's for PVF_DIRTY helped me track down the last bug in my code.