Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_batch_dispatch() -> ublk_batch_deinit_fetch_buf()

Type Parameter Key Value
PARAM_VALUE 0 ubq 4096-ptr_max
PARAM_VALUE 1 data 3722418676909285376,3803649902625034240
PARAM_VALUE 1 data->header.q_id 0
PARAM_VALUE 1 data->iob 0
PARAM_VALUE 1 data->issue_flags 1,10,266,522,778,1034-2147489553
PARAM_VALUE 2 fcmd 4096-ptr_max
PARAM_VALUE 2 fcmd->cmd 4096-ptr_max
PARAM_VALUE 3 res s32min-(-1)
BUF_SIZE 1 data->ub s32min-(-1),1-s32max
CAPPED_DATA 2 fcmd 1
DATA_SOURCE 0 ubq $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 fcmd $2
DATA_SOURCE 3 res r __ublk_batch_dispatch
BIT_INFO 1 data->issue_flags 0x0,0x80001f1f
BIT_INFO 3 res 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock