Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/ctl.c tb_cfg_request() -> tb_cfg_request_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->callback_data 4096-ptr_max
PARAM_VALUE 0 req->copy 964053227424043008,4578231973898088448,5078013893785747456,5307027512922566656
PARAM_VALUE 0 req->ctl 4096-ptr_max
PARAM_VALUE 0 req->ctl->request_queue_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 req->ctl->running 1
PARAM_VALUE 0 req->flags 0
PARAM_VALUE 0 req->list.next 4096-ptr_max
PARAM_VALUE 0 req->list.next->next 4096-ptr_max
PARAM_VALUE 0 req->list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->match 2285294635734847488,4381229910526525440,5069044196936261632,5731745475252862976
PARAM_VALUE 0 req->request 4096-ptr_max
PARAM_VALUE 0 req->request_size 0-u32max
PARAM_VALUE 0 req->request_type 1-2,6-7,9,11
BUF_SIZE 0 req 232
BUF_SIZE 0 req->callback_data 96,176,232
BUF_SIZE 0 req->request 4,8,12,24,32,36,40,48,56,64,68,72-252,268
BUF_SIZE 0 req->response (-1),8,12,16,24,32,36,40,56,72,84,88,96,100,132,252,268,2128
CAPPED_DATA 0 req->request_size 1
DATA_SOURCE 0 req $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->response_size 12-76[c]
NO_OVERFLOW_SIMPLE 0 req->npackets
HALF_LOCKED2 &icm->request_lock

drivers/thunderbolt/ctl.c tb_cfg_request_work() -> tb_cfg_request_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock