Home
last modified time | relevance | path

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

/Linux-v6.1/arch/riscv/kvm/
Dvcpu_sbi_replace.c74 .extid_start = SBI_EXT_IPI,
75 .extid_end = SBI_EXT_IPI,
/Linux-v6.1/arch/riscv/kernel/
Dsbi.c265 ret = sbi_ecall(SBI_EXT_IPI, in __sbi_send_ipi_v02()
287 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()
671 if (sbi_probe_extension(SBI_EXT_IPI) > 0) { in sbi_init()
/Linux-v6.1/arch/riscv/include/asm/
Dsbi.h28 SBI_EXT_IPI = 0x735049, enumerator