Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/txrx.c aggr_delete_tid_state() -> aggr_deque_frms()

Type Parameter Key Value
PARAM_VALUE 0 agg_conn 1-u64max
PARAM_VALUE 0 agg_conn->rx_tid 4096-ptr_max
PARAM_VALUE 0 agg_conn->stat 4096-ptr_max
PARAM_VALUE 1 tid 0-7
PARAM_VALUE 2 seq_no 0
PARAM_VALUE 3 order 0
DATA_SOURCE 0 agg_conn $0
DATA_SOURCE 1 tid $1
HARD_MAX 1 tid 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tid 0-7[c]

drivers/net/wireless/ath/ath6kl/txrx.c aggr_process_recv_frm() -> aggr_deque_frms()

Type Parameter Key Value
PARAM_VALUE 0 agg_conn->rx_tid 4096-ptr_max
PARAM_VALUE 0 agg_conn->stat 4096-ptr_max
PARAM_VALUE 1 tid 0-7
PARAM_VALUE 2 seq_no 0
PARAM_VALUE 3 order 0
DATA_SOURCE 0 agg_conn $0
DATA_SOURCE 1 tid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tid 0-7[c]

drivers/net/wireless/ath/ath6kl/txrx.c aggr_process_recv_frm() -> aggr_deque_frms()

Type Parameter Key Value
PARAM_VALUE 0 agg_conn->rx_tid 4096-ptr_max
PARAM_VALUE 0 agg_conn->stat 4096-ptr_max
PARAM_VALUE 1 tid 0-7
PARAM_VALUE 3 order 0
DATA_SOURCE 0 agg_conn $0
DATA_SOURCE 1 tid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tid 0-7[c]
USER_DATA 2 seq_no 1-4092[c]

drivers/net/wireless/ath/ath6kl/txrx.c aggr_process_recv_frm() -> aggr_deque_frms()

Type Parameter Key Value
PARAM_VALUE 0 agg_conn->rx_tid 4096-ptr_max
PARAM_VALUE 0 agg_conn->stat 4096-ptr_max
PARAM_VALUE 1 tid 0-7
PARAM_VALUE 2 seq_no 0
PARAM_VALUE 3 order 1
DATA_SOURCE 0 agg_conn $0
DATA_SOURCE 1 tid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tid 0-7[c]

drivers/net/wireless/ath/ath6kl/txrx.c aggr_timeout() -> aggr_deque_frms()

Type Parameter Key Value
PARAM_VALUE 0 agg_conn 4096-ptr_max
PARAM_VALUE 0 agg_conn->rx_tid 4096-ptr_max
PARAM_VALUE 0 agg_conn->stat 4096-ptr_max
PARAM_VALUE 1 tid 0-7
PARAM_VALUE 2 seq_no 0
PARAM_VALUE 3 order 0
FUZZY_MAX 1 tid 7
HARD_MAX 1 tid 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL