안녕하세요..

Timer 를 초기화 하는 함수가 없는것 같네요..

부트로드인 EZBOOT의 소스 중 main/time.c 를 참조하세요...

그리고, PXA255의 메뉴얼을 참조하셨어 time 관련 레지스트를 보셔야 할것 같네요..

그럼 수고하세요..