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:
- kernel/printk/nbcon.c
- kernel/printk/printk.c
- kernel/printk/printk_ringbuffer.c, line 2247
- kernel/printk/printk_ringbuffer.h, line 378
- kernel/printk/printk_ringbuffer_kunit_test.c, line 202
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 ®istration_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 |