Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/fungible/funcore/fun_queue.c __fun_process_cq() -> (struct fun_queue)->cq_cb()

Type Parameter Key Value
PARAM_VALUE 0 funq 4096-ptr_max
PARAM_VALUE 0 funq->cq_cb 1-u64max
PARAM_VALUE 0 funq->cq_phase 0-1
PARAM_VALUE 0 funq->fdev->adminq_cb 4096-ptr_max
PARAM_VALUE 2 entry 1-u64max
PARAM_VALUE 3 info 4096-ptr_max
BUF_SIZE 2 entry (-1)-s32max
CAPPED_DATA 0 funq->cq_phase 1
DATA_SOURCE 0 funq $0
DATA_SOURCE 3 info r funq_cqe_info
FUZZY_MAX 0 funq->cq_phase 1
CONTAINER 0 -224+0 $(-1)
CONTAINER 1 *(-224+232) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL