Searched refs:doorbell_core_ipi (Results 1 – 2 of 2) sorted by relevance
50 void doorbell_core_ipi(int cpu) in doorbell_core_ipi() function70 doorbell_core_ipi(cpu); in doorbell_try_core_ipi()
95 extern void doorbell_core_ipi(int cpu);
