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 __floppy_read_block_0() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &floppy_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &open_lock

drivers/block/floppy.c __floppy_read_block_0() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &floppy_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &open_lock

drivers/block/floppy.c compat_getdrvstat() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c do_format() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c do_format() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c fd_locked_ioctl() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c fd_locked_ioctl() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c fd_locked_ioctl() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c fd_locked_ioctl() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c floppy_check_events() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

drivers/block/floppy.c floppy_raw_cmd_ioctl() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c floppy_revalidate() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &floppy_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &open_lock

drivers/block/floppy.c floppy_revalidate() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &floppy_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &open_lock

drivers/block/floppy.c floppy_shutdown() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c get_floppy_geometry() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 global &floppy_mutex

drivers/block/floppy.c invalidate_drive() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c set_geometry() -> process_fd_request()

Type Parameter Key Value
CAPABLE 0 21
NOCHECK_CALL
LOCK2 global &floppy_mutex
LOCK2 global &open_lock

drivers/block/floppy.c set_geometry() -> process_fd_request()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &floppy_mutex

drivers/block/floppy.c user_reset_fdc() -> process_fd_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &floppy_mutex

drivers/block/floppy.c floppy_shutdown() -> (struct cont_t)->redo()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c seek_floppy() -> (struct cont_t)->redo()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/floppy.c success_and_wakeup() -> (struct cont_t)->redo()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock