Searched refs:SBI_EXT_IPI_SEND_IPI (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/riscv/kvm/ | ||
| H A D | vcpu_sbi_replace.c | 56 if (cp->a6 != SBI_EXT_IPI_SEND_IPI) { in kvm_sbi_ext_ipi_handler() |
| /linux/arch/riscv/include/asm/ | ||
| H A D | sbi.h | 66 SBI_EXT_IPI_SEND_IPI = 0, enumerator |