ec_stop_cpu       444 arch/s390/kernel/smp.c 		set_bit(ec_stop_cpu, &pcpu->ec_mask);
ec_stop_cpu       497 arch/s390/kernel/smp.c 	if (test_bit(ec_stop_cpu, &bits))