__default_send_IPI_shortcut  231 arch/x86/kernel/apic/ipi.c 	__default_send_IPI_shortcut(APIC_DEST_ALLBUT, vector);
__default_send_IPI_shortcut  236 arch/x86/kernel/apic/ipi.c 	__default_send_IPI_shortcut(APIC_DEST_ALLINC, vector);
__default_send_IPI_shortcut  241 arch/x86/kernel/apic/ipi.c 	__default_send_IPI_shortcut(APIC_DEST_SELF, vector);
__default_send_IPI_shortcut   48 arch/x86/kernel/apic/local.h void __default_send_IPI_shortcut(unsigned int shortcut, int vector);