Searched refs:__sbi_send_ipi (Results 1 – 1 of 1) sorted by relevance
20 static void (*__sbi_send_ipi)(unsigned int cpu) __ro_after_init; variable362 __sbi_send_ipi(cpu); in sbi_send_ipi()608 __sbi_send_ipi = __sbi_send_ipi_v02; in sbi_init()611 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()629 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()
