Searched refs:__sbi_send_ipi (Results 1 – 1 of 1) sorted by relevance
21 static void (*__sbi_send_ipi)(unsigned int cpu) __ro_after_init; variable363 __sbi_send_ipi(cpu); in sbi_send_ipi()596 __sbi_send_ipi = __sbi_send_ipi_v02; in sbi_init()599 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()617 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()