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