summaryrefslogtreecommitdiff
path: root/include/sbi_utils
diff options
context:
space:
mode:
authorAnup Patel <anup.patel@wdc.com>2021-04-21 19:34:17 +0300
committerAnup Patel <anup@brainfault.org>2021-04-28 14:30:49 +0300
commit559a8f1d3be3210d4903c0db54c2d36e2f8d6ad4 (patch)
tree5a646e54241cfef96ccca4a5a8cc29ee68d77acf /include/sbi_utils
parent068ca086af2312d56efe51a724d78d84e1339ab4 (diff)
downloadopensbi-559a8f1d3be3210d4903c0db54c2d36e2f8d6ad4.tar.xz
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')
-rw-r--r--include/sbi_utils/sys/clint.h6
-rw-r--r--include/sbi_utils/timer/fdt_timer.h9
2 files changed, 0 insertions, 15 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,
diff --git a/include/sbi_utils/timer/fdt_timer.h b/include/sbi_utils/timer/fdt_timer.h
index 770a0f3..36202a4 100644
--- a/include/sbi_utils/timer/fdt_timer.h
+++ b/include/sbi_utils/timer/fdt_timer.h
@@ -17,17 +17,8 @@ struct fdt_timer {
int (*cold_init)(void *fdt, int nodeoff, const struct fdt_match *match);
int (*warm_init)(void);
void (*exit)(void);
- u64 (*value)(void);
- void (*event_stop)(void);
- void (*event_start)(u64 next_event);
};
-u64 fdt_timer_value(void);
-
-void fdt_timer_event_stop(void);
-
-void fdt_timer_event_start(u64 next_event);
-
void fdt_timer_exit(void);
int fdt_timer_init(bool cold_boot);