Defined in 2 files as a variable:

Defined in 13 files as a member:

Defined in 2 files as a function:

Referenced in 162 files:

Smatch caller information:

drivers/block/floppy.c main_command_interrupt() -> (struct cont_t)->interrupt()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c setup_rw_floppy() -> (struct cont_t)->interrupt()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c format_interrupt() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c interpret_errors() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c recal_interrupt() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c reset_interrupt() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c rw_interrupt() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c seek_interrupt() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c setup_rw_floppy() -> (struct cont_t)->error()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

lib/btree.c __btree_for_each() -> __btree_for_each param 4()

Type Parameter Key Value
PARAM_VALUE 0 elem 1-u64max
DATA_SOURCE 0 elem r bval
DATA_SOURCE 1 opaque $3
DATA_SOURCE 4 func2 $5
NOCHECK_CALL