Searched refs:SBI_EXT_IPI_SEND_IPI (Results 1 – 2 of 2) sorted by relevance
47 SBI_EXT_IPI_SEND_IPI = 0, enumerator
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()