diff options
Diffstat (limited to 'c/src/exec/score/headers')
-rw-r--r-- | c/src/exec/score/headers/tod.h | 7 | ||||
-rw-r--r-- | c/src/exec/score/headers/watchdog.h | 9 |
2 files changed, 9 insertions, 7 deletions
diff --git a/c/src/exec/score/headers/tod.h b/c/src/exec/score/headers/tod.h index a1fc6ee446..3788a74256 100644 --- a/c/src/exec/score/headers/tod.h +++ b/c/src/exec/score/headers/tod.h @@ -81,13 +81,6 @@ SCORE_EXTERN TOD_Control _TOD_Current; SCORE_EXTERN Watchdog_Interval _TOD_Seconds_since_epoch; /* - * The following contains the number of ticks since the - * system was booted. - */ - -SCORE_EXTERN Watchdog_Interval _TOD_Ticks_since_boot; - -/* * The following contains the number of microseconds per tick. */ diff --git a/c/src/exec/score/headers/watchdog.h b/c/src/exec/score/headers/watchdog.h index 8a43be1f1f..c77d9f1307 100644 --- a/c/src/exec/score/headers/watchdog.h +++ b/c/src/exec/score/headers/watchdog.h @@ -82,6 +82,8 @@ typedef struct { Watchdog_States state; Watchdog_Interval initial; Watchdog_Interval delta_interval; + Watchdog_Interval start_time; + Watchdog_Interval stop_time; Watchdog_Service_routine_entry routine; Objects_Id id; void *user_data; @@ -96,6 +98,13 @@ SCORE_EXTERN volatile unsigned32 _Watchdog_Sync_level; SCORE_EXTERN volatile unsigned32 _Watchdog_Sync_count; /* + * The following contains the number of ticks since the + * system was booted. + */ + +SCORE_EXTERN Watchdog_Interval _Watchdog_Ticks_since_boot; + +/* * The following defines the watchdog chains which are managed * on ticks and second boundaries. */ |