__send_IPI_dest_field   87 arch/x86/kernel/ipi.c static inline void __send_IPI_dest_field(unsigned long mask, int vector)
__send_IPI_dest_field   90 include/asm-x86/ipi.h static inline void __send_IPI_dest_field(unsigned int mask, int vector,