Symbol: SBI_EXT_0_1_SEND_IPI
arch/riscv/kernel/sbi.c
110
sbi_ecall(SBI_EXT_0_1_SEND_IPI, 0, (unsigned long)(&hart_mask),
arch/riscv/kvm/vcpu_sbi_v01.c
48
case SBI_EXT_0_1_SEND_IPI: