1  /* SPDX-License-Identifier: GPL-2.0-only */
2  
3  #include <delay.h>
4  
5  void init_timer(void)
6  {
7  }