RTEMS 4.9.4 On-Line Library

Timer Driver benchmark_timer_initialize

BSP and Device Driver Development Guide

Initialize the timer source.

void benchmark_timer_initialize(void)
{
  initialize the benchmark timer
}

BSP and Device Driver Development Guide