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) {