__setup_additional_pages
ret = __setup_additional_pages(VDSO_ABI_AA32, mm, bprm,
ret = __setup_additional_pages(VDSO_ABI_AA64, mm, bprm, uses_interp);
ret = __setup_additional_pages(mm, bprm, uses_interp,
ret = __setup_additional_pages(mm, bprm, uses_interp, &vdso_info);