1 gen = decodetree.process('insns.decode')
3 microblaze_ss = ss.source_set()
5 microblaze_ss.add(files(
13 microblaze_softmmu_ss = ss.source_set()
14 microblaze_softmmu_ss.add(files(
19 target_arch += {'microblaze': microblaze_ss}
20 target_softmmu_arch += {'microblaze': microblaze_softmmu_ss}