Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
TASK_NOT_RUNNING

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
TASK_NOT_RUNNING

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
TASK_NOT_RUNNING

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_reader() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 1548666391704272896
PARAM_VALUE 0 rb->desc_ring.count_bits 8
PARAM_VALUE 0 rb->desc_ring.descs 4654423483267223552
PARAM_VALUE 0 rb->desc_ring.head_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->desc_ring.infos 5303540069959147520
PARAM_VALUE 0 rb->desc_ring.last_finalized_seq.counter 0
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 0 rb->fail.counter 0
PARAM_VALUE 0 rb->text_data_ring.data 4628938480679534592
PARAM_VALUE 0 rb->text_data_ring.size_bits 13
PARAM_VALUE 2 r 7768633291781369856
PARAM_VALUE 2 r->info 1587787889928577024
PARAM_VALUE 2 r->text_buf 5223409728738578432
PARAM_VALUE 2 r->text_buf_size 132
BUF_SIZE 0 rb 88
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 2 r 0
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 &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 kmsg_dump_get_buffer() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 6291054084140023808
PARAM_VALUE 2 r->info 7811777040499580928
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &psinfo->buf_lock
HALF_LOCKED2 rcu_read

kernel/printk/printk.c kmsg_dump_get_buffer() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 6291054084140023808
PARAM_VALUE 2 r->info 7811777040499580928
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &psinfo->buf_lock
HALF_LOCKED2 rcu_read

kernel/printk/printk.c kmsg_dump_get_line() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 7611672691623514112
PARAM_VALUE 2 r->info 915431398805868544
PARAM_VALUE 2 r->text_buf 5717528320079499264
PARAM_VALUE 2 r->text_buf_size 201
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 2 r 0
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

kernel/printk/printk.c printk_get_next_message() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 4115071307628265472
PARAM_VALUE 2 r->info 7526117390693183488
PARAM_VALUE 2 r->text_buf 4096-ptr_max
PARAM_VALUE 2 r->text_buf_size 1024,2048
DATA_SOURCE 1 seq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &user->lock

kernel/printk/printk.c setup_log_buf() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 8671433037713358848
PARAM_VALUE 2 r 5853890965509390336
PARAM_VALUE 2 r->info 1372526459607470080
PARAM_VALUE 2 r->text_buf 523419946706395136
PARAM_VALUE 2 r->text_buf_size 1024
LOCK2 flags
LOCK2 irq

kernel/printk/printk.c setup_log_buf() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 8671433037713358848
PARAM_VALUE 2 r 5853890965509390336
PARAM_VALUE 2 r->info 1372526459607470080
PARAM_VALUE 2 r->text_buf 523419946706395136
PARAM_VALUE 2 r->text_buf_size 1024
LOCK2 flags
LOCK2 irq

kernel/printk/printk.c setup_log_buf() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 8671433037713358848
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 5853890965509390336
PARAM_VALUE 2 r->info 1372526459607470080
PARAM_VALUE 2 r->text_buf 523419946706395136
PARAM_VALUE 2 r->text_buf_size 1024
LOCK2 irq

kernel/printk/printk.c setup_log_buf() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb 8671433037713358848
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 5853890965509390336
PARAM_VALUE 2 r->info 1372526459607470080
PARAM_VALUE 2 r->text_buf 523419946706395136
PARAM_VALUE 2 r->text_buf_size 1024
LOCK2 irq

kernel/printk/printk.c syslog_print() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 0
RX_PATH

kernel/printk/printk.c syslog_print() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 0
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
RX_PATH
TASK_NOT_RUNNING

kernel/printk/printk.c syslog_print() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.tail_id.counter 0-4611686018427387903
PARAM_VALUE 2 r 0
CAPPED_DATA 0 rb->desc_ring.tail_id.counter 1
RX_PATH
TASK_NOT_RUNNING

kernel/printk/printk.c syslog_print() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 1188496729551286272
PARAM_VALUE 2 r->info 4753443793594986496
PARAM_VALUE 2 r->text_buf 4096-ptr_max
PARAM_VALUE 2 r->text_buf_size 2048
RX_PATH
LOCK2 global &syslog_lock

kernel/printk/printk.c syslog_print_all() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 752610360589729792
PARAM_VALUE 2 r->info 5330263386491826176
PARAM_VALUE 2 r->text_buf 4096-ptr_max
PARAM_VALUE 2 r->text_buf_size 2048
RX_PATH

kernel/printk/printk.c syslog_print_all() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 752610360589729792
PARAM_VALUE 2 r->info 5330263386491826176
PARAM_VALUE 2 r->text_buf 4096-ptr_max
PARAM_VALUE 2 r->text_buf_size 2048
RX_PATH

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

Type Parameter Key Value
PARAM_VALUE 1 seq 0-18446744073709551614
PARAM_VALUE 2 r 0
BIT_INFO 1 seq 0x0,0x7fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 2 r 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 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() -> prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 0