VDSO_ALIGNMENT
mappings_size += (VDSO_ALIGNMENT - 1) & PAGE_MASK;
vdso_base = ALIGN(vdso_base, VDSO_ALIGNMENT);