From: Matthew Wilcox <willy@debian.org> Date: Mon, 10 Mar 2003 01:50:05 +0000 Really, this should be doing a clear_user_page() -- but not all callers of this routine have a user address to pass on. That sounds like the best fix to me. The user address really is a "hint" to the routine, it need not be precise. Feel free to make this explicit in cachetlb.txt