Symbol: SBI_CALL3
sys/arch/riscv64/include/sbi.h
250
(void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uint64_t)hart_mask, start,
sys/arch/riscv64/riscv64/sbi.c
107
ret = SBI_CALL3(SBI_EXT_ID_HSM, SBI_HSM_HART_START, hart, start_addr,