Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ubq 4096-ptr_max
PARAM_VALUE 0 ubq->canceling 0
PARAM_VALUE 0 ubq->evts_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ubq->fcmd_head.prev 4096-ptr_max
PARAM_VALUE 0 ubq->fcmd_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ubq->fcmd_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ubq->force_abort 0
PARAM_VALUE 1 data 3803649902625034240
PARAM_VALUE 1 data->header.q_id 0
PARAM_VALUE 1 data->iob 0
PARAM_VALUE 1 data->issue_flags 10,266,522,778,1034-2147489553
PARAM_VALUE 1 data->ub 4096-ptr_max
PARAM_VALUE 2 fcmd 4096-ptr_max
DATA_SOURCE 0 ubq $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 fcmd r __ublk_acquire_fcmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ubq 4096-ptr_max
PARAM_VALUE 1 data 3722418676909285376
PARAM_VALUE 1 data->iob 0
PARAM_VALUE 1 data->issue_flags 1
PARAM_VALUE 2 fcmd 4096-ptr_max
CAPPED_DATA 2 fcmd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock