Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c rx_pkt() -> send_fw_pass_open_req()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rdev.lldi.l2t 4096-ptr_max
PARAM_VALUE 0 dev->rdev.lldi.l2t->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->rdev.lldi.l2t->lock.owner (-1)
PARAM_VALUE 0 dev->rdev.lldi.l2t->lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->rdev.lldi.l2t->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 dev->rdev.lldi.l2t->nfree.counter s32min-s32max
PARAM_VALUE 0 dev->rdev.lldi.ports 4096-ptr_max
PARAM_VALUE 0 dev->rdev.lldi.rxq_ids 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data->filter_hit 1
PARAM_VALUE 1 skb->data->filter_tid 1
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->vlan_proto 33024
CAPPED_DATA 0 dev->rdev.lldi.nports 1
CAPPED_DATA 1 skb->data_len 1
CAPPED_DATA 1 skb->head 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 7 filter r cxgb4_select_ntuple
CONSTRAINT 1 skb->data_len <=49
NOCHECK_CALL
USER_DATA 2 laddr 0-u32max[u]
USER_DATA 3 lport 0-u16max[u]
USER_DATA 4 raddr 0-u32max[u]
USER_DATA 5 rport 0-u16max[u]
USER_DATA 6 rcv_isn 0-u32max[u]
USER_DATA 8 window 0-u16max[u]
UNITS 2 laddr unit_byte
UNITS 4 raddr unit_byte
UNITS 6 rcv_isn unit_byte
UNITS 8 window unit_byte
UNITS 10 port_id unit_array_size
HALF_LOCKED2 &pool->lock