mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-11-11 17:30:27 +00:00
The source_hart and hartid parameter is really not required in IPI callbacks of sbi_platform because current hartid can always be obtained by calling sbi_current_hartid() API. Signed-off-by: Anup Patel <anup.patel@wdc.com>