I tend to agree with Mike. VDSO pages are really not that big data and (!) quite critical data for an application, so keeping them in non-lazy memory set seems to be better. Applied.