default_send_IPI_single_phys  230 arch/x86/kernel/apic/apic_flat_64.c 	.send_IPI			= default_send_IPI_single_phys,
default_send_IPI_single_phys  151 arch/x86/kernel/apic/bigsmp_32.c 	.send_IPI			= default_send_IPI_single_phys,
default_send_IPI_single_phys   57 arch/x86/kernel/apic/local.h void default_send_IPI_single_phys(int cpu, int vector);