send_IPI_mask_bitmask    7 include/asm-x86/mach-default/mach_ipi.h void send_IPI_mask_bitmask(cpumask_t mask, int vector);
send_IPI_mask_bitmask   18 include/asm-x86/mach-default/mach_ipi.h 	send_IPI_mask_bitmask(mask, vector);