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