do_schedule       405 drivers/s390/char/sclp_vt220.c __sclp_vt220_write(const unsigned char *buf, int count, int do_schedule,
do_schedule       456 drivers/s390/char/sclp_vt220.c 	    !timer_pending(&sclp_vt220_timer) && do_schedule) {