Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 drive $0
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
DATA_SOURCE 0 drive $0
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 drive unit_byte

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

Type Parameter Key Value
DATA_SOURCE 0 drive $1
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &open_lock

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

Type Parameter Key Value
DATA_SOURCE 0 drive $0
UNITS 0 drive unit_byte
HALF_LOCKED2 global &floppy_mutex

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

Type Parameter Key Value
DATA_SOURCE 0 drive $2
CAPABLE 0 21
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex
LOCK2 global &open_lock

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

Type Parameter Key Value
DATA_SOURCE 0 drive $2
UNITS 0 drive unit_byte
LOCK2 global &floppy_mutex

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

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