__send_IPI_shortcut   51 arch/x86/kernel/ipi.c void __send_IPI_shortcut(unsigned int shortcut, int vector)
__send_IPI_shortcut   58 include/asm-x86/ipi.h static inline void __send_IPI_shortcut(unsigned int shortcut, int vector,