uv_send_IPI_one   557 arch/x86/kernel/apic/x2apic_uv_x.c 		uv_send_IPI_one(cpu, vector);
uv_send_IPI_one   567 arch/x86/kernel/apic/x2apic_uv_x.c 			uv_send_IPI_one(cpu, vector);
uv_send_IPI_one   578 arch/x86/kernel/apic/x2apic_uv_x.c 			uv_send_IPI_one(cpu, vector);
uv_send_IPI_one   671 arch/x86/kernel/apic/x2apic_uv_x.c 	.send_IPI			= uv_send_IPI_one,