Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/floppy.c do_floppy_init() -> reschedule_timeout()

Type Parameter Key Value
PARAM_VALUE 0 drive (-2)
PARAM_VALUE 1 message 8369518552018907136
BUF_SIZE 1 message 12
STR_LEN 0 drive 11
TERMINATED 1 message 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c do_wakeup() -> reschedule_timeout()

Type Parameter Key Value
PARAM_VALUE 0 drive (-2)
PARAM_VALUE 1 message 3984483722125864960
BUF_SIZE 1 message 10
STR_LEN 0 drive 9
TERMINATED 1 message 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c floppy_start() -> reschedule_timeout()

Type Parameter Key Value
PARAM_VALUE 1 message 4864712647045943296
BUF_SIZE 1 message 13
STR_LEN 0 drive 12
TERMINATED 1 message 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 message 6415272177064878080
BUF_SIZE 1 message 9
DATA_SOURCE 0 drive $0
STR_LEN 0 drive 8
TERMINATED 1 message 1
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 redo_fd_request() -> reschedule_timeout()

Type Parameter Key Value
PARAM_VALUE 0 drive 0-7
PARAM_VALUE 1 message 1350303350265401344
BUF_SIZE 1 message 16
FUZZY_MAX 0 drive 7
STR_LEN 0 drive 15
TERMINATED 1 message 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c request_done() -> reschedule_timeout()

Type Parameter Key Value
PARAM_VALUE 0 drive (-2)
PARAM_VALUE 1 message 6951790826492276736
BUF_SIZE 1 message 26
STR_LEN 0 drive 25
NOCHECK_CALL
HALF_LOCKED2 &pool->lock