Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/floppy.c floppy_queue_rq() -> set_fdc()

Type Parameter Key Value
PARAM_VALUE 0 drive 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/block/floppy.c floppy_resume() -> set_fdc()

Type Parameter Key Value
PARAM_VALUE 0 drive 0-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/floppy.c lock_fdc() -> set_fdc()

Type Parameter Key Value
DATA_SOURCE 0 drive $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 drive unit_byte
HALF_LOCKED2 global &floppy_mutex
HALF_LOCKED2 global &open_lock

drivers/block/floppy.c make_raw_rw_request() -> set_fdc()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 drive unit_byte
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 drive unit_byte
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c scandrives() -> set_fdc()

Type Parameter Key Value
PARAM_VALUE 0 drive 0-7
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c scandrives() -> set_fdc()

Type Parameter Key Value
PARAM_VALUE 0 drive 0-7
NOCHECK_CALL
HALF_LOCKED2 &pool->lock