Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk.c __console_flush_and_unlock() -> console_flush_all()

Type Parameter Key Value
PARAM_VALUE 1 next_seq 3348001673018621952
PARAM_VALUE 2 handover 5892795365887717376
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &b->c->verify_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &ch->open_lock
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &tty_mutex
HALF_LOCKED2 global &vgasr_mutex
HALF_LOCKED2 global &viafb_pm_hooks_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

kernel/printk/printk.c console_flush_on_panic() -> console_flush_all()

Type Parameter Key Value
PARAM_VALUE 0 do_cond_resched 0
PARAM_VALUE 1 next_seq 2234567468076658688
PARAM_VALUE 2 handover 2627387014318858240
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq

kernel/printk/printk.c get_init_console_seq() -> console_flush_all()

Type Parameter Key Value
PARAM_VALUE 0 do_cond_resched 1
PARAM_VALUE 1 next_seq 5331040457389883392
PARAM_VALUE 2 handover 8249066249238597632
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_mutex
LOCK2 global &console_sem
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq