Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/notifier.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 8777414149301055488
PARAM_VALUE 2 key 7058047580068298752
BUF_SIZE 1 name 10
BUF_SIZE 1 name 10
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 9
STR_LEN 0 ssp 9
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &devfreq->lock
HALF_LOCKED2 clk

drivers/pci/controller/vmd.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 6096920708284948480
PARAM_VALUE 2 key 5296406378093371392
BUF_SIZE 1 name 19
BUF_SIZE 1 name 19
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 18
STR_LEN 0 ssp 18
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

arch/x86/kernel/cpu/sgx/driver.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 1292378533463035904
PARAM_VALUE 2 key 1748922004863643648
BUF_SIZE 1 name 12
BUF_SIZE 1 name 12
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 11
STR_LEN 0 ssp 11
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

kernel/rcu/rcutorture.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1641511847842877440
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

drivers/net/wireless/microchip/wilc1000/cfg80211.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 4682963862503968768
PARAM_VALUE 2 key 118212450872610816
BUF_SIZE 1 name 10
BUF_SIZE 1 name 10
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 9
STR_LEN 0 ssp 9
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

block/blk-mq.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 479737393618685952,1869865086858285056
PARAM_VALUE 2 key 1578863916832210944
BUF_SIZE 0 ssp (-1),80
BUF_SIZE 0 ssp (-1),80
BUF_SIZE 1 name 10,16
BUF_SIZE 1 name 10,16
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 9,15
STR_LEN 0 ssp 9,15
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &devices_mutex
HALF_LOCKED2 global &lock
HALF_LOCKED2 global &ublk_ctl_mutex

drivers/accel/qaic/qaic_drv.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 6338424332057526272,8776282342802345984
PARAM_VALUE 2 key 4455405734846099456,8442660280557920256
BUF_SIZE 1 name 5,17
BUF_SIZE 1 name 5,17
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 4,16
STR_LEN 0 ssp 4,16
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qdev->dev_lock

drivers/hid/bpf/hid_bpf_dispatch.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 7115474506415525888
PARAM_VALUE 2 key 248685161047330816
BUF_SIZE 1 name 16
BUF_SIZE 1 name 16
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 15
STR_LEN 0 ssp 15
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &uhid->devlock

drivers/hwtracing/stm/core.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 8198469295597113344
PARAM_VALUE 1 name 7602810675896823808
PARAM_VALUE 2 key 1826638973204152320
BUF_SIZE 1 name 17
BUF_SIZE 1 name 17
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 16
STR_LEN 0 ssp 16
TERMINATED 1 name 1

drivers/nvme/host/core.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 5162429612270170112,5803354180000927744
PARAM_VALUE 2 key 2407397068094976000,4721251354450546688
BUF_SIZE 1 name 12
BUF_SIZE 1 name 12
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 11
STR_LEN 0 ssp 11
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctrl->subsys->lock

drivers/infiniband/core/uverbs_main.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 2320244677427748864
PARAM_VALUE 2 key 4383882494891671552
BUF_SIZE 1 name 31
BUF_SIZE 1 name 31
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 30
STR_LEN 0 ssp 30
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem

arch/x86/kvm/mmu/page_track.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 2541025175440400384
PARAM_VALUE 2 key 2568065323935444992
BUF_SIZE 1 name 18
BUF_SIZE 1 name 18
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 17
STR_LEN 0 ssp 17
TERMINATED 1 name 1

drivers/md/dm.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1952,4096-ptr_max
PARAM_VALUE 1 name 8316902709266546688
PARAM_VALUE 2 key 6197874374251806720
BUF_SIZE 1 name 16
BUF_SIZE 1 name 16
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 15
STR_LEN 0 ssp 15
TERMINATED 1 name 1

drivers/infiniband/hw/hfi1/file_ops.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 3579452390307315712
PARAM_VALUE 2 key 3919032389099225088
BUF_SIZE 1 name 13
BUF_SIZE 1 name 13
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 12
STR_LEN 0 ssp 12
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

kernel/events/core.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2

net/bluetooth/hci_core.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 32,4096-ptr_max
PARAM_VALUE 1 name 1254514646915207168
PARAM_VALUE 2 key 2278939433143296000
BUF_SIZE 1 name 12
BUF_SIZE 1 name 12
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 11
STR_LEN 0 ssp 11
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &data->open_mutex
HALF_LOCKED2 &tty->ldisc_sem

fs/notify/fsnotify.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 2428329938350407680
PARAM_VALUE 1 name 9179367865534140416
PARAM_VALUE 2 key 3669437480058556416
BUF_SIZE 1 name 20
BUF_SIZE 1 name 20
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 19
STR_LEN 0 ssp 19
TERMINATED 1 name 1

kernel/rcu/rcuscale.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 7652272422167760896
PARAM_VALUE 1 name 301916367963115520
PARAM_VALUE 2 key 6700968385995173888
BUF_SIZE 0 ssp 80
BUF_SIZE 1 name 10
BUF_SIZE 1 name 10
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 9
STR_LEN 0 ssp 9
TERMINATED 1 name 1
LOCK2 global &fullstop_mutex

drivers/accel/amdxdna/amdxdna_pci_drv.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 2194781434516914176
PARAM_VALUE 2 key 8875148713249390592
BUF_SIZE 1 name 20
BUF_SIZE 1 name 20
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 19
STR_LEN 0 ssp 19
CAPABLE 0 21
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

drivers/reset/core.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 1234525691217375232
PARAM_VALUE 2 key 7823334441833820160
BUF_SIZE 1 name 12
BUF_SIZE 1 name 12
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 11
STR_LEN 0 ssp 11
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 global &syscon_list_lock

drivers/platform/surface/aggregator/controller.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 8777414149301055488
PARAM_VALUE 2 key 4510839877187117056
BUF_SIZE 1 name 10
BUF_SIZE 1 name 10
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 9
STR_LEN 0 ssp 9
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/i915/gt/intel_reset.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 1073518808936820736
PARAM_VALUE 2 key 3140792707173933056
BUF_SIZE 1 name 24
BUF_SIZE 1 name 24
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 23
STR_LEN 0 ssp 23
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpio/gpiolib.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 3701220975573286912,5587599629224669184
PARAM_VALUE 2 key 857683343415988224
BUF_SIZE 1 name 12,17
BUF_SIZE 1 name 12,17
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 11,16
STR_LEN 0 ssp 11,16
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bank->deferred_lock
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 4676359401208852480,6842967061120524288
PARAM_VALUE 2 key 8485709869913767936
BUF_SIZE 1 name 11,15
BUF_SIZE 1 name 11,15
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 10,14
STR_LEN 0 ssp 10,14
TERMINATED 1 name 1

net/core/rtnetlink.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 name 1481248557329334272
PARAM_VALUE 2 key 35540628572278784,6727902447074992128
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

lib/test_context-analysis.c __init_srcu_struct() -> init_srcu_struct_lockdep()

Type Parameter Key Value
PARAM_VALUE 1 name 8531929056132624384
PARAM_VALUE 2 key 328151263212306432
BUF_SIZE 1 name 9
BUF_SIZE 1 name 9
DATA_SOURCE 0 ssp $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 key $2
STR_LEN 0 ssp 8
STR_LEN 0 ssp 8
TERMINATED 1 name 1