Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c abort_arp_failure() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c abort_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c act_establish() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c act_open_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c build_cpl_pass_accept_req() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
DATA_SOURCE 0 skb $0
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c close_con_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c close_listsrv_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c fw4_ack() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c fw6_msg() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/cxgb4/cm.c pass_accept_req() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c pass_establish() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c pass_open_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c passive_ofld_conn_reply() -> cplhdr()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c peer_abort() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c peer_abort_intr() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c process_work() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb r skb_dequeue
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c queue_arp_failure_cpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c read_tcb_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c rx_data() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
CAPPED_DATA 0 skb->data_len 1
CAPPED_DATA 0 skb->head 1
DATA_SOURCE 0 skb $1
CONSTRAINT 0 skb <=49
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c set_tcb_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/cxgb4/cm.c terminate() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
HALF_LOCKED2 &pool->lock

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c abort_arp_failure() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-7755059893172072447,7755059893172072449-ptr_max
DATA_SOURCE 0 skb $1

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_abort_req() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_abort_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_act_establish() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_act_open_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_close_con_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_iscsi_hdr() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_wr_ack() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_abort_req_rss() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_abort_req_rss() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_abort_req_rss() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb r cxgb3_get_cpl_reply_skb
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_act_establish() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_act_open_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_cr() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_hwtid_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_l2t_write_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_rte_write_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_smt_write_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_stid_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c do_trace() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c process_rx() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
CAPPED_DATA 0 skb 1
RX_PATH
TASK_NOT_RUNNING

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_abort_arp_failure() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb $1
LOCK2 bh

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_abort_req_rss() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->tail
HALF_LOCKED2 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_abort_rpl_rss() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->tail
HALF_LOCKED2 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_close_listsrv_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_fw4_ack() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->tail
HALF_LOCKED2 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_pass_accept_req() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_pass_establish() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_pass_open_rpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_rx_cpl() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_rx_data() -> cplhdr()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read