do_cond_resched 2400 kernel/printk/printk.c bool do_cond_resched, retry; do_cond_resched 2421 kernel/printk/printk.c do_cond_resched = console_may_schedule; do_cond_resched 2511 kernel/printk/printk.c if (do_cond_resched)