RTEMS 4.7.99.2 On-Line Library

Timer Manager Directives

RTEMS Ada User's Guide

8.4: Directives

Timer Manager TIMER_CREATE - Create a timer

Timer Manager TIMER_IDENT - Get ID of a timer

Timer Manager TIMER_CANCEL - Cancel a timer

Timer Manager TIMER_DELETE - Delete a timer

Timer Manager TIMER_FIRE_AFTER - Fire timer after interval

Timer Manager TIMER_FIRE_WHEN - Fire timer when specified

Timer Manager TIMER_INITIATE_SERVER - Initiate server for task-based timers

Timer Manager TIMER_SERVER_FIRE_AFTER - Fire task-based timer after interval

Timer Manager TIMER_SERVER_FIRE_WHEN - Fire task-based timer when specified

Timer Manager TIMER_RESET - Reset an interval timer

This section details the timer manager's directives. A subsection is dedicated to each of this manager's directives and describes the calling sequence, related constants, usage, and status codes.

RTEMS Ada User's Guide