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