Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_create_ah_cmd() -> ionic_build_hdr()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.admin_opcodes 14-255
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 attr 4096-ptr_max
PARAM_VALUE 3 sport 28272
PARAM_VALUE 4 want_ecn 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 attr $3
FUZZY_MAX 0 dev->lif_cfg.admin_opcodes 14
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_modify_qp_cmd() -> ionic_build_hdr()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.admin_opcodes 10-255
PARAM_VALUE 1 hdr 1-u64max
PARAM_VALUE 2 attr 4096-ptr_max
PARAM_VALUE 3 sport 49152-u16max
PARAM_VALUE 4 want_ecn 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 sport r rdma_get_udp_sport
FUZZY_MAX 0 dev->lif_cfg.admin_opcodes 10
NOSPEC 2 attr->port_num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 attr->ib.dlid 0-u16max
USER_DATA 2 attr->ib.src_path_bits 0-255
USER_DATA 2 attr->opa.dlid 0-u16max
USER_DATA 2 attr->opa.src_path_bits 0-255
USER_DATA 2 attr->port_num 0-255
USER_DATA 2 attr->sl 0-255
USER_DATA 2 attr->static_rate 0-255
USER_DATA 3 sport 49152-u16max[c]
HALF_LOCKED2 &ibqp->qp_sec->mutex