BSP and Device Driver Development Guide
It only has to inform the kernel that a ticker has elapsed, so call :
rtems_isr Clock_isr( rtems_vector_number vector ) { invoke the rtems_clock_tick() directive to announce the tick if necessary for this hardware reload the programmable timer }
BSP and Device Driver Development Guide
Copyright © 1988-2007OAR Corporation