This is the eighth version of my solution for the bug #2645: http://bugzilla.kernel.org/show_bug.cgi?id=2645 Since the previous version, the following has changed: 1) based on Linus' comment, a more efficient PTE walker implemented; 2) the design document added to the kernel documentation. Functional tests successfully passed. Please comment. --
