Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/printk/printk.c devkmsg_poll() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 8535497901130526720 |
| PARAM_VALUE | 3 | line_count | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vm->irqfds_lock | ||
| HALF_LOCKED2 | global &irqfds_srcu |
kernel/printk/printk.c do_syslog() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 8554082729729974272 |
| PARAM_VALUE | 3 | line_count | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &syslog_lock |
kernel/printk/printk.c do_syslog() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 8554082729729974272 |
| PARAM_VALUE | 3 | line_count | 616684055181684736 |
| RX_PATH | |||
| LOCK2 | global &syslog_lock |
kernel/printk/printk.c do_syslog() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 8554082729729974272 |
| PARAM_VALUE | 2 | info->caller_id | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 3 | line_count | 616684055181684736 |
| PARAM_VALUE | 3 | *line_count | 1-u32max |
| RX_PATH | |||
| LOCK2 | global &syslog_lock |
kernel/printk/printk.c find_first_fitting_seq() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 50929772802359296 |
| PARAM_VALUE | 3 | line_count | 2805285970321838080 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/printk/printk.c find_first_fitting_seq() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 50929772802359296 |
| PARAM_VALUE | 2 | info->caller_id | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 2 | info->seq | 0-18446744073709551614 |
| PARAM_VALUE | 3 | line_count | 2805285970321838080 |
| PARAM_VALUE | 3 | *line_count | 1-u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/printk/printk.c find_first_fitting_seq() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rb->desc_ring.tail_id.counter | 0-4611686018427387903 |
| PARAM_VALUE | 2 | info | 50929772802359296 |
| PARAM_VALUE | 3 | line_count | 2805285970321838080 |
| PARAM_VALUE | 3 | *line_count | 1-u32max |
| CAPPED_DATA | 0 | rb->desc_ring.tail_id.counter | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/printk/printk.c find_first_fitting_seq() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rb->desc_ring.tail_id.counter | 0-4611686018427387903 |
| PARAM_VALUE | 2 | info | 50929772802359296 |
| PARAM_VALUE | 2 | info->caller_id | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 2 | info->seq | 0-18446744073709551614 |
| PARAM_VALUE | 3 | line_count | 2805285970321838080 |
| PARAM_VALUE | 3 | *line_count | 1-u32max |
| CAPPED_DATA | 0 | rb->desc_ring.tail_id.counter | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/printk/printk.c kmsg_dump_get_buffer() -> prb_read_valid_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 7811777040499580928 |
| PARAM_VALUE | 3 | line_count | 0 |
| 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_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | info | 915431398805868544 |
| PARAM_VALUE | 3 | line_count | 5047158690956308480 |
| HALF_LOCKED2 | rcu_read |