diff options
Diffstat (limited to 'include/timer.h')
| -rw-r--r-- | include/timer.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/timer.h b/include/timer.h index d3a4989e05..0a4273ff25 100644 --- a/include/timer.h +++ b/include/timer.h @@ -53,6 +53,14 @@ void usleep(unsigned us); /* Get the current timestamp from the system timer. */ timestamp_t get_time(void); +/* Force the current value of the system timer. + * + * This function is for the power management implementation which wants to fix + * the system time when waking up from a mode with clocks turned off. + * Note: must be called with interrupts disabled. + */ +void force_time(timestamp_t ts); + /* Print the current timer information using the command output channel. This * may be called from interrupt level. */ void timer_print_info(void); |