1i386_softmmu_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files( 2 'hvf.c', 3 'x86.c', 4 'x86_cpuid.c', 5 'x86_decode.c', 6 'x86_descr.c', 7 'x86_emu.c', 8 'x86_flags.c', 9 'x86_mmu.c', 10 'x86_task.c', 11 'x86hvf.c', 12)) 13
1i386_softmmu_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files( 2 'hvf.c', 3 'x86.c', 4 'x86_cpuid.c', 5 'x86_decode.c', 6 'x86_descr.c', 7 'x86_emu.c', 8 'x86_flags.c', 9 'x86_mmu.c', 10 'x86_task.c', 11 'x86hvf.c', 12)) 13