Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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