Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/rcu/srcutree.c __init_srcu_struct_fast() -> __init_srcu_struct_common()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1641511847842877440
PARAM_VALUE 0 ssp->srcu_reader_flavor 4
PARAM_VALUE 1 name 2354943853537034240
PARAM_VALUE 2 key 642331805943455744
BUF_SIZE 1 name 11
BUF_SIZE 1 name 11
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 10
STR_LEN 0 ssp 10
TERMINATED 1 name 1
LOCK2 global &fullstop_mutex

kernel/rcu/srcutree.c __init_srcu_struct_fast_updown() -> __init_srcu_struct_common()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1641511847842877440
PARAM_VALUE 0 ssp->srcu_reader_flavor 8
PARAM_VALUE 1 name 2354943853537034240
PARAM_VALUE 2 key 642331805943455744
BUF_SIZE 1 name 11
BUF_SIZE 1 name 11
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 10
STR_LEN 0 ssp 10
TERMINATED 1 name 1
LOCK2 global &fullstop_mutex

kernel/rcu/srcutree.c init_srcu_struct_lockdep() -> __init_srcu_struct_common()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_reader_flavor 0
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 key 4096-ptr_max
BUF_SIZE 0 ssp (-1),80
BUF_SIZE 0 ssp (-1),80
BUF_SIZE 1 name 5,9-13,15-20,24,31
BUF_SIZE 1 name 5,9-13,15-20,24,31
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 4,8-12,14-19,23,30
STR_LEN 0 ssp 4,8-12,14-19,23,30
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &fullstop_mutex