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

/linux/arch/riscv/kvm/
A D	vcpu_sbi_replace.c	78 .extid_start = SBI_EXT_IPI, 79 .extid_end = SBI_EXT_IPI,
/linux/arch/riscv/kernel/
A D	sbi.c	195 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02() 600 if (sbi_probe_extension(SBI_EXT_IPI)) { in sbi_init()
/linux/arch/riscv/include/asm/
A D	sbi.h	29 SBI_EXT_IPI = 0x735049, enumerator

Completed in 10 milliseconds

Last Index update Fri Aug 22 08:59:00 CST 2025