Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-writecache.c __writecache_writeback_ssd() -> writecache_copy_endio()

Type Parameter Key Value
PARAM_VALUE 0 read_err 0
PARAM_VALUE 1 write_err 0
PARAM_VALUE 2 ptr 4096-ptr_max
DATA_SOURCE 2 ptr r mempool_alloc_noprof
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c run_complete_job() -> run_complete_job ptr fn()

Type Parameter Key Value
BUF_SIZE 2 ptr 4,8-s32max
BUF_SIZE 2 ptr 4,8-s32max
CONTAINER 0 *(-280+28) $(-1)
CONTAINER 1 *(-280+32) $(-1)
CONTAINER 2 *(-280+288) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock