#ifndef __HARD_SYSTEM_TIMER_H
#define __HARD_SYSTEM_TIMER_H


void system_timer_init(void);

#endif