Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->buffers 16,4096-ptr_max
PARAM_VALUE 0 buffer->clock 268515595380424704
PARAM_VALUE 0 buffer->cpumask 1-u64max
PARAM_VALUE 0 buffer->cpus 0-8193
PARAM_VALUE 0 buffer->flags 0-3
PARAM_VALUE 0 buffer->irq_work.waiters.head.next 4096-ptr_max
PARAM_VALUE 0 buffer->irq_work.waiters.head.next->next 4096-ptr_max
PARAM_VALUE 0 buffer->irq_work.waiters.head.prev 4096-ptr_max
PARAM_VALUE 0 buffer->irq_work.waiters.head.prev->next 4096-ptr_max
PARAM_VALUE 0 buffer->irq_work.waiters.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 buffer->max_data_size 4072
PARAM_VALUE 0 buffer->range_addr_end 1-u64max
PARAM_VALUE 0 buffer->range_addr_start 0,8-u64max
PARAM_VALUE 0 buffer->reader_lock_key 1685562058564644864
PARAM_VALUE 0 buffer->subbuf_order 0
PARAM_VALUE 0 buffer->subbuf_size 4080
PARAM_VALUE 2 scratch_size 8216
BUF_SIZE 0 buffer 0-66046
BUF_SIZE 0 buffer 0-66046
BUF_SIZE 0 buffer->buffers 0-131078
CAPPED_DATA 0 buffer->range_addr_end 1
DATA_SOURCE 0 buffer r _kzalloc_noprof
BIT_INFO 0 buffer->range_addr_start 0x0,0xfffffffffffffff8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 scratch_size unit_byte
HALF_LOCKED2 irq