doorbell_core_ipi   91 arch/powerpc/include/asm/dbell.h extern void doorbell_core_ipi(int cpu);
doorbell_core_ipi   67 arch/powerpc/kernel/dbell.c 		doorbell_core_ipi(cpu);