diff options
| author | Anup Patel <anup.patel@wdc.com> | 2021-04-21 22:04:17 +0530 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2021-04-28 17:00:49 +0530 |
| commit | 559a8f1d3be3210d4903c0db54c2d36e2f8d6ad4 (patch) | |
| tree | 5a646e54241cfef96ccca4a5a8cc29ee68d77acf /include/sbi_utils/sys/clint.h | |
| parent | 068ca086af2312d56efe51a724d78d84e1339ab4 (diff) | |
lib: sbi: Simplify timer platform operations
Instead of having timer_value(), timer_event_start(), and
timer_event_stop() callbacks in platform operations, it will
be much simpler for timer driver to directly register these
operations as device to the sbi_timer implementation.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Diffstat (limited to 'include/sbi_utils/sys/clint.h')
| -rw-r--r-- | include/sbi_utils/sys/clint.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/include/sbi_utils/sys/clint.h b/include/sbi_utils/sys/clint.h index b07cf62..e102196 100644 --- a/include/sbi_utils/sys/clint.h +++ b/include/sbi_utils/sys/clint.h @@ -37,12 +37,6 @@ int clint_warm_ipi_init(void); int clint_cold_ipi_init(struct clint_data *clint); -u64 clint_timer_value(void); - -void clint_timer_event_stop(void); - -void clint_timer_event_start(u64 next_event); - int clint_warm_timer_init(void); int clint_cold_timer_init(struct clint_data *clint, |