Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/ring_buffer.c rb_range_meta_init() -> rb_cpu_meta_valid()

Type Parameter Key Value
PARAM_VALUE 1 cpu 0-8192
PARAM_VALUE 2 buffer 4096-ptr_max
PARAM_VALUE 2 buffer->buffers 16,4096-ptr_max
PARAM_VALUE 2 buffer->clock 268515595380424704
PARAM_VALUE 2 buffer->cpumask 1-u64max
PARAM_VALUE 2 buffer->cpus 0-8193
PARAM_VALUE 2 buffer->flags 0-3
PARAM_VALUE 2 buffer->irq_work.waiters.head.next 4096-ptr_max
PARAM_VALUE 2 buffer->irq_work.waiters.head.next->next 4096-ptr_max
PARAM_VALUE 2 buffer->irq_work.waiters.head.prev 4096-ptr_max
PARAM_VALUE 2 buffer->irq_work.waiters.head.prev->next 4096-ptr_max
PARAM_VALUE 2 buffer->irq_work.waiters.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 buffer->max_data_size 4072
PARAM_VALUE 2 buffer->meta 4096-ptr_max
PARAM_VALUE 2 buffer->meta->magic 195952365
PARAM_VALUE 2 buffer->meta->struct_sizes 1572904
PARAM_VALUE 2 buffer->meta->total_size 1-u64max
PARAM_VALUE 2 buffer->range_addr_end 1-u64max
PARAM_VALUE 2 buffer->range_addr_start 4096-18446744073709547520
PARAM_VALUE 2 buffer->range_addr_start->magic 195952365
PARAM_VALUE 2 buffer->range_addr_start->struct_sizes 1572904
PARAM_VALUE 2 buffer->reader_lock_key 1685562058564644864
PARAM_VALUE 2 buffer->subbuf_order 0
PARAM_VALUE 2 buffer->subbuf_size 4080
PARAM_VALUE 4 subbuf_mask 0,16,4096-ptr_max
BUF_SIZE 2 buffer 0-2551
BUF_SIZE 2 buffer 0-2551
BUF_SIZE 2 buffer->buffers 0-67583
CAPPED_DATA 1 cpu 1
CAPPED_DATA 2 buffer->range_addr_end 1
CAPPED_DATA 2 buffer->range_addr_start->buffers_offset 1
CAPPED_DATA 2 buffer->range_addr_start->total_size 1
DATA_SOURCE 0 meta r rb_range_meta
DATA_SOURCE 2 buffer $0
DATA_SOURCE 3 nr_pages $1
DATA_SOURCE 4 subbuf_mask r bitmap_alloc
PARAM_COMPARE 2 buffer->range_addr_start->buffers_offset <= $2->range_addr_start->total_size
CONSTRAINT 1 cpu <3035
BIT_INFO 2 buffer->range_addr_start 0x0,0xfffffffffffffff8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq