#ifndef __HARD_SYSTEM_TIMER_H #define __HARD_SYSTEM_TIMER_H void system_timer_init(void); void timer1_test(void); #endif
