Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/ring_buffer.c __rb_reserve_next() -> rb_move_tail()

Type Parameter Key Value
PARAM_VALUE 0 cpu_buffer 4096-ptr_max
PARAM_VALUE 0 cpu_buffer->buffer 4096-ptr_max
PARAM_VALUE 0 cpu_buffer->buffer->subbuf_size 0-1048574
PARAM_VALUE 0 cpu_buffer->tail_page 4096-ptr_max
PARAM_VALUE 2 info 4653157460438704128
PARAM_VALUE 2 info->add_timestamp 0,2,4,6,10,14
PARAM_VALUE 2 info->tail_page 4096-ptr_max
CAPPED_DATA 0 cpu_buffer->buffer->subbuf_size 1
DATA_SOURCE 0 cpu_buffer $0
DATA_SOURCE 2 info $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 tail 0-1048599,18446725626965477899-18446725626966526482,18446744073
USER_DATA 2 info->length 0-4228,18446744073709,18446744073717,18446744073709551592,18446