1vdso_32_inc = gen_vdso.process('vdso-32.so', 2 extra_args: ['-r', '__vdso_rt_sigreturn']) 3vdso_64_inc = gen_vdso.process('vdso-64.so', 4 extra_args: ['-r', '__vdso_rt_sigreturn']) 5 6linux_user_ss.add(when: 'TARGET_RISCV32', if_true: vdso_32_inc) 7linux_user_ss.add(when: 'TARGET_RISCV64', if_true: vdso_64_inc) 8