Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/floppy.c recal_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 6198198014841319424
PARAM_VALUE 1 msg 4602998933304729600
BUF_SIZE 0 func 16
STR_LEN 0 func 0
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c recal_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 6198198014841319424
PARAM_VALUE 1 msg 6381118530976710656
BUF_SIZE 0 func 16
BUF_SIZE 1 msg 13
STR_LEN 0 func 12
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c recal_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 6198198014841319424
PARAM_VALUE 1 msg 888186887976189952
BUF_SIZE 0 func 16
BUF_SIZE 1 msg 13
STR_LEN 0 func 12
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c recal_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 6198198014841319424
PARAM_VALUE 1 msg 417612309294501888
BUF_SIZE 0 func 16
BUF_SIZE 1 msg 8
STR_LEN 0 func 7
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c recalibrate_floppy() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 6959360886487580672
PARAM_VALUE 1 msg 4602998933304729600
BUF_SIZE 0 func 19
STR_LEN 0 func 0
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c redo_fd_request() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 4920956181975560192
PARAM_VALUE 1 msg 8772840342553538560
BUF_SIZE 0 func 16
BUF_SIZE 1 msg 17
STR_LEN 0 func 16
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c redo_format() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 2707201364822528000
PARAM_VALUE 1 msg 6170304908607913984
BUF_SIZE 0 func 12
BUF_SIZE 1 msg 21
STR_LEN 0 func 20
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c reset_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 3912682371620401152
PARAM_VALUE 1 msg 4602998933304729600
BUF_SIZE 0 func 16
STR_LEN 0 func 0
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c seek_floppy() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 4192616179916365824
PARAM_VALUE 1 msg 4602998933304729600
BUF_SIZE 0 func 12
STR_LEN 0 func 0
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c seek_interrupt() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 3809332232052207616
PARAM_VALUE 1 msg 4602998933304729600
BUF_SIZE 0 func 15
STR_LEN 0 func 0
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c setup_rw_floppy() -> debugt()

Type Parameter Key Value
PARAM_VALUE 0 func 3490500132899229696
PARAM_VALUE 1 msg 3686113114433904640
BUF_SIZE 0 func 16
BUF_SIZE 1 msg 11
STR_LEN 0 func 10
TERMINATED 1 msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock