diff options
Diffstat (limited to 'include/sbi/sbi_timer.h')
| -rw-r--r-- | include/sbi/sbi_timer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/sbi/sbi_timer.h b/include/sbi/sbi_timer.h index c14c8d0..401be68 100644 --- a/include/sbi/sbi_timer.h +++ b/include/sbi/sbi_timer.h @@ -24,12 +24,12 @@ void sbi_timer_set_delta(struct sbi_scratch *scratch, ulong delta); void sbi_timer_set_delta_upper(struct sbi_scratch *scratch, ulong delta_upper); -void sbi_timer_event_stop(struct sbi_scratch *scratch); - void sbi_timer_event_start(struct sbi_scratch *scratch, u64 next_event); void sbi_timer_process(struct sbi_scratch *scratch); int sbi_timer_init(struct sbi_scratch *scratch, bool cold_boot); +void sbi_timer_exit(struct sbi_scratch *scratch); + #endif |