default_send_IPI_all  141 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI_all			= default_send_IPI_all,
default_send_IPI_all  234 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI_all			= default_send_IPI_all,
default_send_IPI_all   61 arch/x86/kernel/apic/local.h void default_send_IPI_all(int vector);
default_send_IPI_all   97 arch/x86/kernel/apic/probe_32.c 	.send_IPI_all			= default_send_IPI_all,