| ppc_ss.add(when: 'CONFIG_TCG', if_true: files( |
| decodetree.process('insn32.decode', |
| extra_args: '--static-decode=decode_insn32'), |
| decodetree.process('insn64.decode', |
| extra_args: ['--static-decode=decode_insn64', |
| ppc_ss.add(when: 'CONFIG_TCG', if_true: gen) |
| ppc_ss.add(when: 'CONFIG_USER_ONLY', if_true: files('user_only_helper.c')) |
| ppc_system_ss = ss.source_set() |
| ppc_system_ss.add(when: 'CONFIG_TCG', if_true: files( |
| ppc_system_ss.add(when: 'CONFIG_KVM', if_true: files('kvm.c')) |
| ppc_system_ss.add(when: 'TARGET_PPC64', if_true: files( |
| target_arch += {'ppc': ppc_ss} |
| target_system_arch += {'ppc': ppc_system_ss} |