1 ppc_ss = ss.source_set()
11 ppc_ss.add(when: 'CONFIG_TCG', if_true: files(
22 ppc_ss.add(libdecnumber)
25 decodetree.process('insn32.decode',
26 extra_args: '--static-decode=decode_insn32'),
27 decodetree.process('insn64.decode',
28 extra_args: ['--static-decode=decode_insn64',
31 ppc_ss.add(when: 'CONFIG_TCG', if_true: gen)
33 ppc_ss.add(when: 'CONFIG_USER_ONLY', if_true: files('user_only_helper.c'))
35 ppc_system_ss = ss.source_set()
36 ppc_system_ss.add(files(
43 ppc_system_ss.add(when: 'CONFIG_TCG', if_true: files(
48 ppc_system_ss.add(when: 'CONFIG_KVM', if_true: files('kvm.c'))
50 ppc_system_ss.add(when: 'TARGET_PPC64', if_true: files(
57 target_arch += {'ppc': ppc_ss}
58 target_system_arch += {'ppc': ppc_system_ss}