Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/sw/rxe/rxe_req.c finish_packet() -> rxe_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt | 8891943745583230976 |
| PARAM_VALUE | 1 | pkt->hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->mask | 4214800,4215056,4272136,4272904,5287936,5288704,8409088,8409344,8433664,8434432,8466432,8467200,16797712,16797968,16855040,16855808,18919424,18919552,18920192,18920448,18921216,20001792,20002560,20987920,20987984-u32max |
| PARAM_VALUE | 1 | pkt->opcode | 0-12,19-20,22-23,28-29,32-43,100-101 |
| PARAM_VALUE | 1 | pkt->port_num | 1 |
| PARAM_VALUE | 1 | pkt->qp | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->rxe | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->wqe | 4096-ptr_max |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data_len | 0 |
| PARAM_VALUE | 2 | skb->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->protocol | 2048,34525 |
| BUF_SIZE | 0 | av | 88 |
| BUF_SIZE | 2 | skb | 0-s32max |
| BUF_SIZE | 2 | skb | 0-s32max |
| CAPPED_DATA | 0 | av->grh.sgid_index | 1 |
| DATA_SOURCE | 0 | av | $1 |
| DATA_SOURCE | 1 | pkt | $3 |
| DATA_SOURCE | 2 | skb | $4 |
| CONSTRAINT | 0 | av | <3765 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/sw/rxe/rxe_resp.c prepare_ack_packet() -> rxe_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt | 1710952519002255360,7623511751884341248 |
| PARAM_VALUE | 1 | pkt->hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->hdr->apsn | 0-16777215 |
| PARAM_VALUE | 1 | pkt->hdr->flags | 0,16-48 |
| PARAM_VALUE | 1 | pkt->hdr->opcode | 13-18 |
| PARAM_VALUE | 1 | pkt->hdr->pkey | u16max |
| PARAM_VALUE | 1 | pkt->hdr->qpn | 0-16777215 |
| PARAM_VALUE | 1 | pkt->opcode | 13-18 |
| PARAM_VALUE | 1 | pkt->port_num | 1 |
| PARAM_VALUE | 1 | pkt->qp | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->qp->attr.qp_state | 1-5,7-u32max |
| PARAM_VALUE | 1 | pkt->qp->valid | 1-u32max |
| PARAM_VALUE | 1 | pkt->rxe | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt->rxe->max_inline_data | 512 |
| PARAM_VALUE | 1 | pkt->rxe->max_ucontext | 1048576 |
| PARAM_VALUE | 1 | pkt->rxe->mmap_offset | 1-u64max |
| PARAM_VALUE | 1 | pkt->rxe->port.mtu_cap | 256,512,1024,2048,4096,u32max |
| PARAM_VALUE | 1 | pkt->rxe->port.subnet_prefix | 18338657682652659712 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data_len | 0 |
| PARAM_VALUE | 2 | skb->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->protocol | 2048,34525 |
| BUF_SIZE | 2 | skb | 0-s32max |
| BUF_SIZE | 2 | skb | 0-s32max |
| CAPPED_DATA | 1 | pkt->qp->pri_av.grh.sgid_index | 1 |
| DATA_SOURCE | 1 | pkt | $1 |
| DATA_SOURCE | 2 | skb | r rxe_init_packet |
| STR_LEN | 1 | pkt->qp | (-1),3,10,37 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | pkt->qp->attr.cur_qp_state | 0-6 |
| HALF_LOCKED2 | &pool->lock |