RTEMS 5.3

SOFTWARE API DEFINITION FOR Real-time Timer