VDSO_ABI_AA32
vdso_info[VDSO_ABI_AA32].cm = &aarch32_vdso_maps[AA32_MAP_VDSO];
return __vdso_init(VDSO_ABI_AA32);
ret = __setup_additional_pages(VDSO_ABI_AA32, mm, bprm,
[VDSO_ABI_AA32] = {