Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk_ringbuffer.c desc_update_last_finalized() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.count_bits 0-31
PARAM_VALUE 1 seq 766680202991722496
PARAM_VALUE 2 r 0
PARAM_VALUE 3 line_count 0
DATA_SOURCE 0 rb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 e.irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c desc_update_last_finalized() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 0 rb->desc_ring.count_bits 0-31
PARAM_VALUE 1 seq 766680202991722496
PARAM_VALUE 2 r 0
PARAM_VALUE 3 line_count 0
DATA_SOURCE 0 rb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 e.irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c prb_first_valid_seq() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 1 seq 1728079788789612544
PARAM_VALUE 1 *seq 0
PARAM_VALUE 2 r 0
PARAM_VALUE 3 line_count 0
DATA_SOURCE 0 rb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/printk/printk_ringbuffer.c prb_next_seq() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 1 seq 5332475282400395264
PARAM_VALUE 2 r 0
PARAM_VALUE 3 line_count 0
DATA_SOURCE 0 rb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &syslog_lock
HALF_LOCKED2 irq

kernel/printk/printk_ringbuffer.c prb_next_seq() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 1 seq 5332475282400395264
PARAM_VALUE 2 r 0
PARAM_VALUE 3 line_count 0
DATA_SOURCE 0 rb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &syslog_lock
HALF_LOCKED2 irq

kernel/printk/printk_ringbuffer.c prb_read_valid() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 0,4096-ptr_max
PARAM_VALUE 2 r->info 915431398805868544,1372526459607470080,1587787889928577024,4753443793594986496,5330263386491826176,7526117390693183488,7811777040499580928
PARAM_VALUE 3 line_count 0
BUF_SIZE 0 rb (-1),88
BUF_SIZE 0 rb (-1),88
DATA_SOURCE 0 rb $0
DATA_SOURCE 2 r $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 *seq 0
HALF_LOCKED2 flags
HALF_LOCKED2 global &syslog_lock
HALF_LOCKED2 irq

kernel/printk/printk_ringbuffer.c prb_read_valid_info() -> _prb_read_valid()

Type Parameter Key Value
PARAM_VALUE 2 r 4660128543695118336
PARAM_VALUE 2 r->info 50929772802359296,915431398805868544,7811777040499580928,8535497901130526720,8554082729729974272
PARAM_VALUE 2 r->text_buf 0
PARAM_VALUE 2 r->text_buf_size 0
PARAM_VALUE 3 line_count 0,616684055181684736,2805285970321838080,5047158690956308480
DATA_SOURCE 0 rb $0
DATA_SOURCE 3 line_count $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &syslog_lock