Symbol: SBI_EXT_IPI_SEND_IPI
arch/riscv/kernel/sbi.c
195
ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI,
arch/riscv/kvm/vcpu_sbi_replace.c
56
if (cp->a6 != SBI_EXT_IPI_SEND_IPI) {