default_send_IPI_allbutself  140 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI_allbutself		= default_send_IPI_allbutself,
default_send_IPI_allbutself  233 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI_allbutself		= default_send_IPI_allbutself,
default_send_IPI_allbutself   60 arch/x86/kernel/apic/local.h void default_send_IPI_allbutself(int vector);
default_send_IPI_allbutself   96 arch/x86/kernel/apic/probe_32.c 	.send_IPI_allbutself		= default_send_IPI_allbutself,