Searched refs:SBI_EXT_0_1_CLEAR_IPI (Results 1 – 2 of 2) sorted by relevance
18 SBI_EXT_0_1_CLEAR_IPI = 0x3, enumerator
114 sbi_ecall(SBI_EXT_0_1_CLEAR_IPI, 0, 0, 0, 0, 0, 0, 0); in sbi_clear_ipi()