1*00cc2934SRichard Hendersonvdso_inc = gen_vdso.process('vdso.so',
2*00cc2934SRichard Henderson                            extra_args: ['-r', '__vdso_rt_sigreturn'])
3*00cc2934SRichard Henderson
4*00cc2934SRichard Hendersonlinux_user_ss.add(when: 'TARGET_LOONGARCH64', if_true: vdso_inc)
5