forked from Imagelibrary/rtems
* include/rtems/rtems/timer.h: Missed merging these modifications in previous merge of new timer functionality.
* include/rtems/rtems/timer.h: Missed merging these modifications in previous merge of new timer functionality.