[PATCH] mm: optimize the new mprotect() code a bit