Searched refs:SBI_EXT_IPI (Results 1 - 5 of 5) sorted by relevance
| /kernel/linux/linux-6.6/arch/riscv/kvm/ |
| H A D | vcpu_sbi_replace.c | 78 .extid_start = SBI_EXT_IPI,
79 .extid_end = SBI_EXT_IPI,
|
| /kernel/linux/linux-5.10/arch/riscv/kernel/ |
| H A D | sbi.c | 230 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()
243 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()
584 if (sbi_probe_extension(SBI_EXT_IPI) > 0) { in sbi_init()
|
| /kernel/linux/linux-5.10/arch/riscv/include/asm/ |
| H A D | sbi.h | 27 SBI_EXT_IPI = 0x735049, enumerator
|
| /kernel/linux/linux-6.6/arch/riscv/include/asm/ |
| H A D | sbi.h | 28 SBI_EXT_IPI = 0x735049, enumerator
|
| /kernel/linux/linux-6.6/arch/riscv/kernel/ |
| H A D | sbi.c | 239 ret = sbi_ecall(SBI_EXT_IPI, SBI_EXT_IPI_SEND_IPI, in __sbi_send_ipi_v02()
595 if (sbi_probe_extension(SBI_EXT_IPI)) { in sbi_init()
|
Completed in 4 milliseconds