Searched refs:SBI_EXT_0_1_SEND_IPI (Results 1 – 3 of 3) sorted by relevance
48 case SBI_EXT_0_1_SEND_IPI: in kvm_sbi_ext_v01_handler()
20 SBI_EXT_0_1_SEND_IPI = 0x4, enumerator
154 sbi_ecall(SBI_EXT_0_1_SEND_IPI, 0, (unsigned long)(&hart_mask), in __sbi_send_ipi_v01()