Symbol: SBI_EXT_IPI
arch/riscv/kernel/sbi.c
195
ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI,
arch/riscv/kernel/sbi.c
670
if (sbi_probe_extension(SBI_EXT_IPI)) {
arch/riscv/kvm/vcpu_sbi_replace.c
87
.extid_start = SBI_EXT_IPI,
arch/riscv/kvm/vcpu_sbi_replace.c
88
.extid_end = SBI_EXT_IPI,