Home
last modified time | relevance | path

Searched refs:sbi_send_ipi (Results 1 – 3 of 3) sorted by relevance

/Linux-v6.6/arch/riscv/kernel/
Dsbi-ipi.c57 virq = ipi_mux_create(BITS_PER_BYTE, sbi_send_ipi); in sbi_ipi_init()
Dsbi.c360 void sbi_send_ipi(unsigned int cpu) in sbi_send_ipi() function
364 EXPORT_SYMBOL(sbi_send_ipi);
/Linux-v6.6/arch/riscv/include/asm/
Dsbi.h274 void sbi_send_ipi(unsigned int cpu);