Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/trace_remote.c __alloc_ring_buffer_iter() -> trace_remote_has_cpu()

Type Parameter Key Value
PARAM_VALUE 0 remote 4096-ptr_max
PARAM_VALUE 0 remote->pcpu_reader_locks 0,16,4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.desc 4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.reset 1644223708537741312
PARAM_VALUE 0 remote->rb_remote.swap_reader_page 9212522125699915776
PARAM_VALUE 0 remote->trace_buffer 4096-ptr_max
PARAM_VALUE 0 remote->trace_buffer->cpumask->bits 4096-ptr_max
PARAM_VALUE 0 remote->trace_buffer_desc 4096-ptr_max
PARAM_VALUE 1 cpu 0-64
BUF_SIZE 0 remote s32min-(-2),1-s32max
BUF_SIZE 0 remote s32min-(-2),1-s32max
CAPPED_DATA 1 cpu 1
DATA_SOURCE 1 cpu r find_next_bit
CONSTRAINT 1 cpu <3035
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 cpu
UNITS 0 remote unit_array_size
LOCK2 _T->lock

kernel/trace/trace_remote.c trace_remote_iter() -> trace_remote_has_cpu()

Type Parameter Key Value
PARAM_VALUE 0 remote 4096-ptr_max
PARAM_VALUE 0 remote->cbs->reset 4096-ptr_max
PARAM_VALUE 0 remote->pcpu_reader_locks 0,16,4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.desc 4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.desc->nr_cpus 0-s32max
PARAM_VALUE 0 remote->rb_remote.desc->struct_len 16-4000000
PARAM_VALUE 0 remote->rb_remote.reset 1644223708537741312
PARAM_VALUE 0 remote->rb_remote.swap_reader_page 9212522125699915776
PARAM_VALUE 0 remote->trace_buffer_desc 4096-ptr_max
PARAM_VALUE 0 remote->trace_buffer_desc->nr_cpus 0-s32max
PARAM_VALUE 0 remote->trace_buffer_desc->struct_len 16-4000000
BUF_SIZE 0 remote s32min-(-2),1-s32max
BUF_SIZE 0 remote s32min-(-2),1-s32max
DATA_SOURCE 0 remote $0
DATA_SOURCE 1 cpu $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 remote unit_array_size
LOCK2 _T->lock