Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_walk_cmd_buf() -> __ublk_walk_cmd_buf()

Type Parameter Key Value
PARAM_VALUE 1 iter 5300632135575347200,8807016541807587328
PARAM_VALUE 1 iter->done 0-4294967294
PARAM_VALUE 1 iter->elem_bytes 0
PARAM_VALUE 1 iter->kaddr 0,16,4096-ptr_max
PARAM_VALUE 1 iter->total 1-u32max
PARAM_VALUE 2 data 3803649902625034240
PARAM_VALUE 2 data->cmd 4096-ptr_max
PARAM_VALUE 2 data->header.q_id 0
PARAM_VALUE 2 data->iob 0,3359558952113623040
PARAM_VALUE 2 data->iob->poll_ctx 0
PARAM_VALUE 2 data->iob->req_list.head 0,4096-ptr_max
PARAM_VALUE 2 data->iob->req_list.tail 0,4096-ptr_max
PARAM_VALUE 2 data->issue_flags 10,266,522,778,1034-2147489553
PARAM_VALUE 2 data->ub 4096-ptr_max
PARAM_VALUE 3 bytes 1-480
PARAM_VALUE 4 cb 3421692466072694784,4927927723351044096,5078255805855522816
BUF_SIZE 2 data->iob (-1),40
BUF_SIZE 2 data->ub s32min-(-1),1-s32max
CAPPED_DATA 1 iter->done 1
CAPPED_DATA 3 bytes 1
DATA_SOURCE 0 ubq r ublk_get_queue
DATA_SOURCE 1 iter $0
DATA_SOURCE 2 data $1
DATA_SOURCE 4 cb $2
PARAM_COMPARE 1 iter->done < $1->total
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *iter->buf 0-255
USER_DATA 2 data->iob->req_list.head->tag 1-65534[c]
USER_DATA 2 data->iob->req_list.tail->rq_next->tag 1-65534[c]
USER_DATA 2 data->iob->req_list.tail->tag 1-65534[c]
NO_OVERFLOW_SIMPLE 2 data->iob->req_list.tail->rq_next->tag
NO_OVERFLOW_SIMPLE 2 data->iob->req_list.tail->tag
UNITS 3 bytes unit_byte
USER_PTR 1 iter->buf
USER_PTR 1 iter->kaddr
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 2 &data->ub->mutex