void init_timer(int hz);
extern volatile uint64_t timer_ticks;
extern struct timespec system_time;