Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-io.c async_io() -> dispatch_io()

Type Parameter Key Value
PARAM_VALUE 2 where 4096-ptr_max
PARAM_VALUE 3 dp 356540477134163968
PARAM_VALUE 3 dp->get_page 1425347187598544896,4501717149045211136,8555172095543644160,8698144119100612608
PARAM_VALUE 3 dp->next_page 595254472236077056,2569421476906500096,4119160615615606784,7488622252058447872
PARAM_VALUE 3 dp->vma_invalidate_size 0,512-18446744073709551104
PARAM_VALUE 4 io 4096-ptr_max
PARAM_VALUE 4 io->client 4096-ptr_max
PARAM_VALUE 4 io->count.counter 1
PARAM_VALUE 4 io->error_bits 0
PARAM_VALUE 4 io->unsup_bits 0
PARAM_VALUE 4 io->vma_invalidate_size 0,512-18446744073709551104
BUF_SIZE 2 where (-1),192,216
BUF_SIZE 2 where (-1),192,216
BUF_SIZE 4 io->context 1-s32max
BUF_SIZE 4 io->vma_invalidate_address 1-s32max
DATA_SOURCE 0 opf $3
DATA_SOURCE 1 num_regions $1
DATA_SOURCE 2 where $2
DATA_SOURCE 3 dp $4
DATA_SOURCE 4 io r mempool_alloc_noprof
DATA_SOURCE 5 ioprio $7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 where->count