diff options
Diffstat (limited to 'include/sbi_utils/sys/clint.h')
-rw-r--r-- | include/sbi_utils/sys/clint.h | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/include/sbi_utils/sys/clint.h b/include/sbi_utils/sys/clint.h new file mode 100644 index 0000000..78e1209 --- /dev/null +++ b/include/sbi_utils/sys/clint.h @@ -0,0 +1,35 @@ +/* + * SPDX-License-Identifier: BSD-2-Clause + * + * Copyright (c) 2019 Western Digital Corporation or its affiliates. + * + * Authors: + * Anup Patel <anup.patel@wdc.com> + */ + +#ifndef __SYS_CLINT_H__ +#define __SYS_CLINT_H__ + +#include <sbi/sbi_types.h> + +void clint_ipi_send(u32 target_hart); + +void clint_ipi_sync(u32 target_hart); + +void clint_ipi_clear(u32 target_hart); + +int clint_warm_ipi_init(void); + +int clint_cold_ipi_init(unsigned long base, u32 hart_count); + +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(unsigned long base, u32 hart_count); + +#endif |