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 param 4()

Type Parameter Key Value
PARAM_VALUE 1 data 3803649902625034240
PARAM_VALUE 1 data->cmd 4096-ptr_max
PARAM_VALUE 1 data->header.q_id 0
PARAM_VALUE 1 data->iob 0,3359558952113623040
PARAM_VALUE 1 data->iob->poll_ctx 0
PARAM_VALUE 1 data->issue_flags 10,266,522,778,1034-2147489553
PARAM_VALUE 1 data->ub 4096-ptr_max
PARAM_VALUE 1 data->ub->dev_info.queue_depth 1-u16max
PARAM_VALUE 2 elem 4096-ptr_max
PARAM_VALUE 2 elem->tag 0-65534
BUF_SIZE 1 data->iob (-1),40
BUF_SIZE 1 data->ub s32min-(-2),1-s32max
CAPPED_DATA 2 elem->tag 1
DATA_SOURCE 0 ubq $0
DATA_SOURCE 1 data $2
PARAM_COMPARE 1 data->ub->dev_info.queue_depth > $2->tag
CONSTRAINT 2 elem->tag <3804
BIT_INFO 1 data->issue_flags 0x0,0x80001f1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 data->iob->req_list.head->tag 1-65534[c]
USER_DATA 1 data->iob->req_list.tail->rq_next->tag 1-65534[c]
USER_DATA 1 data->iob->req_list.tail->tag 1-65534[c]
USER_DATA 2 elem->buf_index 0-u16max[u]
USER_DATA 2 elem->result s32min-s32max[u]
USER_DATA 2 elem->tag 0-65534[c]
USER_PTR 2 elem
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 1 &data->ub->mutex