1 syscall_nr_generators += { 2 'ppc': generator(sh, 3 arguments: [ meson.current_source_dir() / 'syscallhdr.sh', '@INPUT@', '@OUTPUT@', '@EXTRA_ARGS@' ], 4 output: '@BASENAME@_nr.h') 5 } 6 7 vdso_32_inc = gen_vdso.process('vdso-32.so', extra_args: [ 8 '-s', '__kernel_sigtramp32', 9 '-r', '__kernel_sigtramp_rt32' 10 ]) 11 linux_user_ss.add(when: 'TARGET_PPC', if_true: vdso_32_inc) 12 13 vdso_64_inc = gen_vdso.process('vdso-64.so', 14 extra_args: ['-r', '__kernel_sigtramp_rt64']) 15 vdso_64le_inc = gen_vdso.process('vdso-64le.so', 16 extra_args: ['-r', '__kernel_sigtramp_rt64']) 17 linux_user_ss.add(when: 'TARGET_PPC64', if_true: [vdso_64_inc, vdso_64le_inc]) 18