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