Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/trace_boot.c trace_boot_init() -> trace_boot_init_one_instance()

Type Parameter Key Value
PARAM_VALUE 0 tr 69249725370638336,4155991700693118976
PARAM_VALUE 1 node 4096-ptr_max
DATA_SOURCE 0 tr r top_trace_array
DATA_SOURCE 1 node r xbc_find_node
NOCHECK_CALL

kernel/trace/trace_boot.c trace_boot_init_instances() -> trace_boot_init_one_instance()

Type Parameter Key Value
PARAM_VALUE 0 tr 4096-ptr_max
PARAM_VALUE 0 tr->dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tr->dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tr->name 1-u64max
PARAM_VALUE 0 *tr->trace_flags_index 0-255
PARAM_VALUE 1 node 4096-ptr_max
BUF_SIZE 0 tr (-1),8568
BUF_SIZE 0 tr (-1),8568
DATA_SOURCE 0 tr r trace_array_get_by_name
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tr->array_buffer.tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 tr->snapshot_buffer.tr->range_addr_size