Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/floppy.c floppy_open() -> (struct fd_routine_l)->_dma_mem_alloc()

Type Parameter Key Value
PARAM_VALUE 0 size 32768,65536
RX_PATH
TASK_NOT_RUNNING
LOCK2 &disk->open_mutex
LOCK2 global &floppy_mutex
LOCK2 global &open_lock
TYPE_LOCK (struct gendisk)->open_mutex

drivers/block/floppy.c floppy_open() -> (struct fd_routine_l)->_dma_mem_alloc()

Type Parameter Key Value
PARAM_VALUE 0 size 16384,32768
RX_PATH
TASK_NOT_RUNNING
LOCK2 &disk->open_mutex
LOCK2 global &floppy_mutex
LOCK2 global &open_lock
TYPE_LOCK (struct gendisk)->open_mutex

drivers/block/floppy.c raw_cmd_copyin() -> (struct fd_routine_l)->_dma_mem_alloc()

Type Parameter Key Value
PARAM_VALUE 0 size 1-4194304
USER_DATA 0 size 1-4194304
LOCK2 global &floppy_mutex