1 /*
2  * NOTE: Autogenerated file using gd32headers.py
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #if defined(CONFIG_SOC_SERIES_GD32A50X)
8 #include <gd32a50x_timer.h>
9 #elif defined(CONFIG_SOC_SERIES_GD32E10X)
10 #include <gd32e10x_timer.h>
11 #elif defined(CONFIG_SOC_SERIES_GD32E50X)
12 #include <gd32e50x_timer.h>
13 #elif defined(CONFIG_SOC_SERIES_GD32F3X0)
14 #include <gd32f3x0_timer.h>
15 #elif defined(CONFIG_SOC_SERIES_GD32F403)
16 #include <gd32f403_timer.h>
17 #elif defined(CONFIG_SOC_SERIES_GD32F4XX)
18 #include <gd32f4xx_timer.h>
19 #elif defined(CONFIG_SOC_SERIES_GD32L23X)
20 #include <gd32l23x_timer.h>
21 #elif defined(CONFIG_SOC_SERIES_GD32VF103)
22 #include <gd32vf103_timer.h>
23 #endif
24