Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/llc/llc_sap.c llc_sap_next_state() -> llc_exec_sap_trans_actions()

Type Parameter Key Value
PARAM_VALUE 0 sap 4096-ptr_max
PARAM_VALUE 0 sap->state 0-2
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->ev 1-u64max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->cb->ind_cfm_flag 0
PARAM_VALUE 2 skb->cb->type 3-4
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
DATA_SOURCE 0 sap $0
DATA_SOURCE 1 trans r llc_find_sap_trans
DATA_SOURCE 2 skb $1
FUZZY_MAX 0 sap->state 2
HARD_MAX 0 sap->state 2
HARD_MAX 2 skb->cb->type 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 0 &sap->sk_lock