send_IPI_mask_sequence  130 arch/x86/kernel/ipi.c void send_IPI_mask_sequence(cpumask_t mask, int vector)
send_IPI_mask_sequence  120 include/asm-x86/ipi.h static inline void send_IPI_mask_sequence(cpumask_t mask, int vector)