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