devices/timer.c 에 있는 timer_sleep() 구현하기
devices/timer.c
timer_sleep()
문제점 : void timer_sleep (int64_t ticks);
void timer_sleep (int64_t ticks);
imer_sleep()
