Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/printk/printk.c __pr_flush() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem

kernel/printk/printk.c console_flush_one_record() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
BIT_INFO 0 con->flags 0x10c,0x7fff
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

kernel/printk/printk.c legacy_kthread_should_wakeup() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

kernel/printk/nbcon.c __nbcon_atomic_flush_pending() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/printk/nbcon.c __nbcon_atomic_flush_pending_con() -> nbcon_seq_read()

Type Parameter Key Value
DATA_SOURCE 0 con $0
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 con->cflag 0
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0
HOST_DATA 0 con->irq_work.node.dst 0
HOST_DATA 0 con->irq_work.node.src 0
HOST_DATA 0 con->irq_work.node.u_flags 0
HOST_DATA 0 con->ispeed 0
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter 0
HOST_DATA 0 con->nbcon_seq.counter 0
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0
HOST_DATA 0 con->seq 0
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c __nbcon_atomic_flush_pending_con() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->nbcon_seq.counter s64min-(-2),0-s64max
DATA_SOURCE 0 con $0
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 con->cflag 0
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0
HOST_DATA 0 con->irq_work.node.dst 0
HOST_DATA 0 con->irq_work.node.src 0
HOST_DATA 0 con->irq_work.node.u_flags 0
HOST_DATA 0 con->ispeed 0
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter 0
HOST_DATA 0 con->nbcon_seq.counter 0
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0
HOST_DATA 0 con->seq 0
LOCK2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c __nbcon_atomic_flush_pending_con() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->nbcon_seq.counter s64min-(-2),0-s64max
DATA_SOURCE 0 con $0
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 con->cflag 0
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0
HOST_DATA 0 con->irq_work.node.dst 0
HOST_DATA 0 con->irq_work.node.src 0
HOST_DATA 0 con->irq_work.node.u_flags 0
HOST_DATA 0 con->ispeed 0
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter 0
HOST_DATA 0 con->nbcon_seq.counter 0
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0
HOST_DATA 0 con->seq 0
LOCK2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_atomic_flush_pending_con() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->nbcon_seq.counter s64min-(-2),0-s64max
DATA_SOURCE 0 con $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/printk/nbcon.c nbcon_context_try_acquire() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
NOSPEC 0 con->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 con->cflag s32min-s32max
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 con->irq_work.node.dst 0-u16max
HOST_DATA 0 con->irq_work.node.src 0-u16max
HOST_DATA 0 con->irq_work.node.u_flags 0-s32max
HOST_DATA 0 con->ispeed 0-u32max
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 con->nbcon_seq.counter s64min-s64max
HOST_DATA 0 con->ospeed 0-u32max
HOST_DATA 0 con->seq 0-u64max
USER_DATA 0 con->index 0-3[c]
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_device_release() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
DATA_SOURCE 0 con $0
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 con->cflag 0
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0
HOST_DATA 0 con->irq_work.node.dst 0
HOST_DATA 0 con->irq_work.node.src 0
HOST_DATA 0 con->irq_work.node.u_flags 0
HOST_DATA 0 con->ispeed 0
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter 0
HOST_DATA 0 con->nbcon_seq.counter 0
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0
HOST_DATA 0 con->seq 0
HALF_LOCKED2 &s->port.lock
HALF_LOCKED2 &tup->port.lock
HALF_LOCKED2 &up->lock
HALF_LOCKED2 &up->port.lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

kernel/printk/nbcon.c nbcon_kthread_should_wakeup() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
BUF_SIZE 0 con 128
BUF_SIZE 0 con 128
DATA_SOURCE 0 con $0

kernel/printk/nbcon.c nbcon_seq_try_update() -> nbcon_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags