Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_receiver.c drbdd() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 2 cb 7196554447947788288
PARAM_VALUE 3 fn 8218441127990554624
PARAM_VALUE 4 line 4879
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 6
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c drbdd() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 2 cb 949012682640113664
PARAM_VALUE 3 fn 8218441127990554624
PARAM_VALUE 4 line 4905
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 6
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c drbdd() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 2 cb 1-u64max
PARAM_VALUE 3 fn 8218441127990554624
PARAM_VALUE 4 line 4912
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 6
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_DataRequest() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 8644755494216945664
PARAM_VALUE 4 line 2800
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 20
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_DataRequest() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 2 cb 8145168319686045696
PARAM_VALUE 3 fn 8644755494216945664
PARAM_VALUE 4 line 2804
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 20
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_DataRequest() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 2 cb 7386482629152804864
PARAM_VALUE 3 fn 8644755494216945664
PARAM_VALUE 4 line 2812
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 20
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_worker() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 6560610971649323008
PARAM_VALUE 4 line 2164
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 12
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_worker() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 6560610971649323008
PARAM_VALUE 4 line 2169
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 12
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_worker() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 6560610971649323008
PARAM_VALUE 4 line 2188
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 12
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_worker() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 6560610971649323008
PARAM_VALUE 4 line 2198
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 12
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_worker() -> __update_timing_details()

Type Parameter Key Value
PARAM_VALUE 1 cb_nr 4096-ptr_max
PARAM_VALUE 3 fn 6560610971649323008
PARAM_VALUE 4 line 2204
BUF_SIZE 0 tdp 512
BUF_SIZE 3 fn 12
NOCHECK_CALL