default_send_IPI_single  137 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI			= default_send_IPI_single,
default_send_IPI_single   56 arch/x86/kernel/apic/local.h void default_send_IPI_single(int cpu, int vector);
default_send_IPI_single   93 arch/x86/kernel/apic/probe_32.c 	.send_IPI			= default_send_IPI_single,