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