SBI_EXT_IPI_SEND_IPI (reference) in projects: Linux-v6.6

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

/Linux-v6.6/arch/riscv/kvm/
D	vcpu_sbi_replace.c	`55 if (cp->a6 != SBI_EXT_IPI_SEND_IPI) { in kvm_sbi_ext_ipi_handler()`
/Linux-v6.6/arch/riscv/include/asm/
D	sbi.h	`58 SBI_EXT_IPI_SEND_IPI = 0, enumerator`
/Linux-v6.6/arch/riscv/kernel/
D	sbi.c	`238 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()`