Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/trace/ring_buffer_benchmark.c read_page() -> ring_buffer_read_page()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->cpumask->bits 4096-ptr_max
PARAM_VALUE 1 data_page 4096-ptr_max
PARAM_VALUE 1 data_page->data->time_stamp 0
PARAM_VALUE 1 data_page->order 0-4294967295
PARAM_VALUE 2 len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 cpu 0-64
PARAM_VALUE 4 full 1
BUF_SIZE 1 data_page 16
BUF_SIZE 1 data_page 16
CAPPED_DATA 3 cpu 1
DATA_SOURCE 1 data_page r ring_buffer_alloc_read_page
DATA_SOURCE 2 len r ring_buffer_subbuf_size_get
DATA_SOURCE 3 cpu $0
CONSTRAINT 3 cpu <3035

kernel/trace/trace.c tracing_buffers_read() -> ring_buffer_read_page()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 data_page 1-u64max
PARAM_VALUE 2 len 1-1000000000,2147479552
PARAM_VALUE 4 full 0
BUF_SIZE 1 data_page (-1),16
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len $2
NOSPEC 2 len
USER_DATA 2 len 1-1000000000[c]
LOCK2 global &all_cpu_access_lock

kernel/trace/trace.c tracing_buffers_splice_read() -> ring_buffer_read_page()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->cpumask->bits 4096-ptr_max
PARAM_VALUE 1 data_page 4096-ptr_max
PARAM_VALUE 2 len 1-4294963200,18446744071562067986-u64max
PARAM_VALUE 3 cpu 0-s32max
PARAM_VALUE 4 full 1
BUF_SIZE 1 data_page 16
DATA_SOURCE 1 data_page r ring_buffer_alloc_read_page
DATA_SOURCE 2 len $3 [m]
FUZZY_MAX 2 len 2147479552
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-4294963200,18446744071562067986-u64max
NO_OVERFLOW_SIMPLE 2 len
LOCK2 global &all_cpu_access_lock