Searched refs:__sbi_send_ipi (Results 1 – 1 of 1) sorted by relevance
22 static void (*__sbi_send_ipi)(unsigned int cpu) __ro_after_init; variable319 __sbi_send_ipi(cpu); in sbi_send_ipi()601 __sbi_send_ipi = __sbi_send_ipi_v02; in sbi_init()604 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()627 __sbi_send_ipi = __sbi_send_ipi_v01; in sbi_init()