Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/floppy.c fd_wait_for_completion() -> reset_fdc()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c fd_watchdog() -> reset_fdc()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c floppy_ready() -> reset_fdc()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c wait_til_done() -> reset_fdc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &floppy_mutex

drivers/block/floppy.c floppy_work_workfn() -> drivers/block/floppy.c ptr floppy_work_fn()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock