diff options
Diffstat (limited to 'platform/common')
| -rw-r--r-- | platform/common/include/plat/sys/clint.h | 2 | ||||
| -rw-r--r-- | platform/common/sys/clint.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/platform/common/include/plat/sys/clint.h b/platform/common/include/plat/sys/clint.h index 8c67d94a..7da8aad1 100644 --- a/platform/common/include/plat/sys/clint.h +++ b/platform/common/include/plat/sys/clint.h @@ -12,7 +12,7 @@ #include <sbi/sbi_types.h> -void clint_ipi_inject(u32 target_hart); +void clint_ipi_send(u32 target_hart); void clint_ipi_sync(u32 target_hart); diff --git a/platform/common/sys/clint.c b/platform/common/sys/clint.c index 0f530761..a518996b 100644 --- a/platform/common/sys/clint.c +++ b/platform/common/sys/clint.c @@ -16,7 +16,7 @@ static u32 clint_ipi_hart_count; static volatile void *clint_ipi_base; static volatile u32 *clint_ipi; -void clint_ipi_inject(u32 target_hart) +void clint_ipi_send(u32 target_hart) { if (clint_ipi_hart_count <= target_hart) return; |