Symbol: SBI_EXT_ID_IPI
sys/riscv/riscv/sbi.c
205
ret = SBI_CALL2(SBI_EXT_ID_IPI, SBI_IPI_SEND_IPI,
sys/riscv/riscv/sbi.c
317
if (sbi_probe_extension(SBI_EXT_ID_IPI) != 0)
sys/riscv/vmm/vmm_sbi.c
208
case SBI_EXT_ID_IPI:
usr.sbin/bhyve/riscv/vmexit.c
165
case SBI_EXT_ID_IPI: