diff options
author | Anup Patel <anup.patel@wdc.com> | 2020-01-03 09:18:42 +0530 |
---|---|---|
committer | Anup Patel <anup.patel@wdc.com> | 2020-01-07 12:10:55 +0530 |
commit | 6469ed101cb3c036cce1ead0d64160a7315f72af (patch) | |
tree | 3deec50bffa180639771f83c07d3ca2a7d470e9f /include/sbi/sbi_timer.h | |
parent | 55e191e3b09c4979212c592a4e86e0f561ce1f97 (diff) |
lib: Add timer exit API
We add sbi_timer_exit() API for OpenSBI exit path handling in
sbi_exit() implementation.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
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 |