Home
last modified time | relevance | path

Searched refs:SBI_EXT_IPI_SEND_IPI (Results 1 – 3 of 3) sorted by relevance

/linux-6.1.9/arch/riscv/kvm/
Dvcpu_sbi_replace.c55 if (cp->a6 != SBI_EXT_IPI_SEND_IPI) in kvm_sbi_ext_ipi_handler()
/linux-6.1.9/arch/riscv/kernel/
Dsbi.c266 SBI_EXT_IPI_SEND_IPI, hmask, in __sbi_send_ipi_v02()
287 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()
/linux-6.1.9/arch/riscv/include/asm/
Dsbi.h58 SBI_EXT_IPI_SEND_IPI = 0, enumerator