Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c deferred_fw6_msg() -> active_ofld_conn_reply()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 2 req 4096-ptr_max
PARAM_VALUE 2 req->t_state 2
BUF_SIZE 2 req 32
BUF_SIZE 2 req 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb $1
NOCHECK_CALL
USER_DATA 2 req->cookie 0-u64max[u]
USER_DATA 2 req->retval 0-255[u]
USER_DATA 2 req->t_state 2[u]
USER_DATA 2 req->tid 0-u32max[u]
USER_PTR 2 req
HALF_LOCKED2 &pool->lock