ec_schedule       499 arch/s390/kernel/smp.c 	if (test_bit(ec_schedule, &bits))
ec_schedule       532 arch/s390/kernel/smp.c 	pcpu_ec_call(pcpu_devices + cpu, ec_schedule);