Searched refs:SBI_EXT_IPI (Results 1 – 3 of 3) sorted by relevance
78 .extid_start = SBI_EXT_IPI,79 .extid_end = SBI_EXT_IPI,
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()
28 SBI_EXT_IPI = 0x735049, enumerator