diff options
Diffstat (limited to 'include/sbi/sbi_timer.h')
| -rw-r--r-- | include/sbi/sbi_timer.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/include/sbi/sbi_timer.h b/include/sbi/sbi_timer.h index 601c27c..37e1c79 100644 --- a/include/sbi/sbi_timer.h +++ b/include/sbi/sbi_timer.h @@ -16,14 +16,12 @@ struct sbi_scratch; u64 sbi_timer_value(struct sbi_scratch *scratch); -void sbi_timer_event_stop(struct sbi_scratch *scratch, u32 hartid); +void sbi_timer_event_stop(struct sbi_scratch *scratch); -void sbi_timer_event_start(struct sbi_scratch *scratch, u32 hartid, - u64 next_event); +void sbi_timer_event_start(struct sbi_scratch *scratch, u64 next_event); -void sbi_timer_process(struct sbi_scratch *scratch, u32 hartid); +void sbi_timer_process(struct sbi_scratch *scratch); -int sbi_timer_init(struct sbi_scratch *scratch, u32 hartid, - bool cold_boot); +int sbi_timer_init(struct sbi_scratch *scratch, bool cold_boot); #endif |