diff options
Diffstat (limited to 'platform/common/include')
| -rw-r--r-- | platform/common/include/plat/sys/clint.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/platform/common/include/plat/sys/clint.h b/platform/common/include/plat/sys/clint.h index 642d83ae..2e8fdcdd 100644 --- a/platform/common/include/plat/sys/clint.h +++ b/platform/common/include/plat/sys/clint.h @@ -12,13 +12,13 @@ #include <sbi/sbi_types.h> -void clint_ipi_inject(u32 target_hart, u32 source_hart); +void clint_ipi_inject(u32 target_hart); -void clint_ipi_sync(u32 target_hart, u32 source_hart); +void clint_ipi_sync(u32 target_hart); void clint_ipi_clear(u32 target_hart); -int clint_warm_ipi_init(u32 target_hart); +int clint_warm_ipi_init(void); int clint_cold_ipi_init(unsigned long base, u32 hart_count); |