Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/htc_pipe.c ath6kl_htc_pipe_rx_complete() -> recv_packet_completion()

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
PARAM_VALUE 0 target->endpoint 4096-ptr_max
PARAM_VALUE 0 target->pipe.htc_packet_pool->buf 4096-ptr_max
PARAM_VALUE 0 target->pipe.htc_packet_pool->endpoint 1-8
PARAM_VALUE 0 target->pipe.htc_packet_pool->list.next 0
PARAM_VALUE 0 target->pipe.htc_packet_pool->pkt_cntxt 4096-ptr_max
PARAM_VALUE 0 target->pipe.htc_packet_pool->status 0
PARAM_VALUE 0 target->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ep 4096-ptr_max
PARAM_VALUE 2 packet 4096-ptr_max
PARAM_VALUE 2 packet->buf 4096-ptr_max
PARAM_VALUE 2 packet->endpoint 1-8
PARAM_VALUE 2 packet->list.next 0
PARAM_VALUE 2 packet->pkt_cntxt 4096-ptr_max
PARAM_VALUE 2 packet->status 0
RX_PATH
NOCHECK_CALL
USER_DATA 2 packet->act_len 0-u32max[c]
USER_DATA 2 packet->endpoint 1-8[u]
HALF_LOCKED2 &pool->lock