1 /*
2  * NOTE: Autogenerated file using gd32headers.py
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #if defined(CONFIG_SOC_SERIES_GD32E50X)
8 #include <gd32e50x_shrtimer.h>
9 #endif
10