Searched refs:SBI_EXT_0_1_SEND_IPI (Results 1 – 3 of 3) sorted by relevance
19 SBI_EXT_0_1_SEND_IPI = 0x4, enumerator
112 case SBI_EXT_0_1_SEND_IPI: in kvm_riscv_vcpu_sbi_ecall()
136 sbi_ecall(SBI_EXT_0_1_SEND_IPI, 0, (unsigned long)hart_mask, in __sbi_send_ipi_v01()
Completed in 5 milliseconds