1softmmu_ss.add(when: 'CONFIG_A9_GTIMER', if_true: files('a9gtimer.c')) 2softmmu_ss.add(when: 'CONFIG_ALLWINNER_A10_PIT', if_true: files('allwinner-a10-pit.c')) 3softmmu_ss.add(when: 'CONFIG_ALTERA_TIMER', if_true: files('altera_timer.c')) 4softmmu_ss.add(when: 'CONFIG_ARM_MPTIMER', if_true: files('arm_mptimer.c')) 5softmmu_ss.add(when: 'CONFIG_ARM_TIMER', if_true: files('arm_timer.c')) 6softmmu_ss.add(when: 'CONFIG_ARM_V7M', if_true: files('armv7m_systick.c')) 7softmmu_ss.add(when: 'CONFIG_ASPEED_SOC', if_true: files('aspeed_timer.c')) 8softmmu_ss.add(when: 'CONFIG_CADENCE', if_true: files('cadence_ttc.c')) 9softmmu_ss.add(when: 'CONFIG_CMSDK_APB_DUALTIMER', if_true: files('cmsdk-apb-dualtimer.c')) 10softmmu_ss.add(when: 'CONFIG_CMSDK_APB_TIMER', if_true: files('cmsdk-apb-timer.c')) 11softmmu_ss.add(when: 'CONFIG_RENESAS_TMR', if_true: files('renesas_tmr.c')) 12softmmu_ss.add(when: 'CONFIG_RENESAS_CMT', if_true: files('renesas_cmt.c')) 13softmmu_ss.add(when: 'CONFIG_DIGIC', if_true: files('digic-timer.c')) 14softmmu_ss.add(when: 'CONFIG_ETRAXFS', if_true: files('etraxfs_timer.c')) 15softmmu_ss.add(when: 'CONFIG_EXYNOS4', if_true: files('exynos4210_mct.c')) 16softmmu_ss.add(when: 'CONFIG_EXYNOS4', if_true: files('exynos4210_pwm.c')) 17softmmu_ss.add(when: 'CONFIG_GRLIB', if_true: files('grlib_gptimer.c')) 18softmmu_ss.add(when: 'CONFIG_HPET', if_true: files('hpet.c')) 19softmmu_ss.add(when: 'CONFIG_I8254', if_true: files('i8254_common.c', 'i8254.c')) 20softmmu_ss.add(when: 'CONFIG_IMX', if_true: files('imx_epit.c')) 21softmmu_ss.add(when: 'CONFIG_IMX', if_true: files('imx_gpt.c')) 22softmmu_ss.add(when: 'CONFIG_MIPS_CPS', if_true: files('mips_gictimer.c')) 23softmmu_ss.add(when: 'CONFIG_MSF2', if_true: files('mss-timer.c')) 24softmmu_ss.add(when: 'CONFIG_NPCM7XX', if_true: files('npcm7xx_timer.c')) 25softmmu_ss.add(when: 'CONFIG_NRF51_SOC', if_true: files('nrf51_timer.c')) 26softmmu_ss.add(when: 'CONFIG_OMAP', if_true: files('omap_gptimer.c')) 27softmmu_ss.add(when: 'CONFIG_OMAP', if_true: files('omap_synctimer.c')) 28softmmu_ss.add(when: 'CONFIG_PXA2XX', if_true: files('pxa2xx_timer.c')) 29softmmu_ss.add(when: 'CONFIG_RASPI', if_true: files('bcm2835_systmr.c')) 30softmmu_ss.add(when: 'CONFIG_SH_TIMER', if_true: files('sh_timer.c')) 31softmmu_ss.add(when: 'CONFIG_SLAVIO', if_true: files('slavio_timer.c')) 32softmmu_ss.add(when: 'CONFIG_SSE_COUNTER', if_true: files('sse-counter.c')) 33softmmu_ss.add(when: 'CONFIG_SSE_TIMER', if_true: files('sse-timer.c')) 34softmmu_ss.add(when: 'CONFIG_STM32F2XX_TIMER', if_true: files('stm32f2xx_timer.c')) 35softmmu_ss.add(when: 'CONFIG_XILINX', if_true: files('xilinx_timer.c')) 36 37specific_ss.add(when: 'CONFIG_AVR_TIMER16', if_true: files('avr_timer16.c')) 38