Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_batch_commit_io() -> ublk_batch_buf_addr()

Type Parameter Key Value
PARAM_VALUE 0 uc 3803649902625034256
PARAM_VALUE 1 elem 4096-ptr_max
BUF_SIZE 0 uc 16
CAPPED_DATA 1 elem->tag 1
DATA_SOURCE 1 elem $2
CONSTRAINT 1 elem <3804
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 elem->buf_index 0-u16max[u]
USER_DATA 1 elem->result s32min-s32max[u]
USER_DATA 1 elem->tag 0-65534[c]
USER_PTR 1 elem
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &data->ub->mutex

drivers/block/ublk_drv.c ublk_batch_prep_io() -> ublk_batch_buf_addr()

Type Parameter Key Value
PARAM_VALUE 0 uc 3803649902625034256
PARAM_VALUE 1 elem 4096-ptr_max
BUF_SIZE 0 uc 16
CAPPED_DATA 1 elem->tag 1
DATA_SOURCE 1 elem $2
CONSTRAINT 1 elem <3804
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 elem->buf_index 0-u16max[u]
USER_DATA 1 elem->result s32min-s32max[u]
USER_DATA 1 elem->tag 0-65534[c]
USER_PTR 1 elem
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &data->ub->mutex