BSP and Device Driver Development Guide
Initialize the timer source.
void Timer_initialize(void) { initialize the benchmark timer }
Copyright © 1988-2003 OAR Corporation