Symbol: SBI_IPI_SEND_IPI
sys/riscv/riscv/sbi.c
205
ret = SBI_CALL2(SBI_EXT_ID_IPI, SBI_IPI_SEND_IPI,
sys/riscv/vmm/vmm_sbi.c
157
case SBI_IPI_SEND_IPI: