__x2apic_send_IPI_shorthand   26 arch/x86/kernel/apic/local.h void __x2apic_send_IPI_shorthand(int vector, u32 which);
__x2apic_send_IPI_shorthand   85 arch/x86/kernel/apic/x2apic_cluster.c 	__x2apic_send_IPI_shorthand(vector, APIC_DEST_ALLBUT);
__x2apic_send_IPI_shorthand   90 arch/x86/kernel/apic/x2apic_cluster.c 	__x2apic_send_IPI_shorthand(vector, APIC_DEST_ALLINC);
__x2apic_send_IPI_shorthand   78 arch/x86/kernel/apic/x2apic_phys.c 	__x2apic_send_IPI_shorthand(vector, APIC_DEST_ALLBUT);
__x2apic_send_IPI_shorthand   83 arch/x86/kernel/apic/x2apic_phys.c 	__x2apic_send_IPI_shorthand(vector, APIC_DEST_ALLINC);