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_free_read_page()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->buffers 4096-ptr_max
PARAM_VALUE 0 buffer->cpumask->bits 4096-ptr_max
PARAM_VALUE 1 cpu 0-64
PARAM_VALUE 2 data_page 4096-ptr_max
PARAM_VALUE 2 data_page->data->time_stamp 0
PARAM_VALUE 2 data_page->order 0-4294967295
BUF_SIZE 2 data_page 16
BUF_SIZE 2 data_page 16
CAPPED_DATA 1 cpu 1
CAPPED_DATA 2 data_page->order 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 2 data_page r ring_buffer_alloc_read_page
CONSTRAINT 1 cpu <3035
NOCHECK_CALL

kernel/trace/trace.c buffer_ref_release() -> ring_buffer_free_read_page()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 2 data_page 1-u64max
NOCHECK_CALL

kernel/trace/trace.c tracing_buffers_release() -> ring_buffer_free_read_page()

Type Parameter Key Value
PARAM_VALUE 2 data_page 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->buffers 4096-ptr_max
PARAM_VALUE 0 buffer->cpumask->bits 4096-ptr_max
PARAM_VALUE 1 cpu 0-s32max
PARAM_VALUE 2 data_page 4096-ptr_max
BUF_SIZE 2 data_page 16
DATA_SOURCE 2 data_page r ring_buffer_alloc_read_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &all_cpu_access_lock