On 05/21/2010 09:38 AM, Richard Henderson wrote: > I have a patch series that attempts to clean this up, but it > isn't quite optimal. I'll post it for reference, however.
Bah, the patch sequence no longer applies since Paul removed PAGE_RESERVED. r~
