Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/sw/rxe/rxe_req.c init_req_packet() -> bth_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pkt | 8891943745583230976 |
| PARAM_VALUE | 0 | pkt->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->mask | 0,2-u32max |
| PARAM_VALUE | 0 | pkt->opcode | 0-12,19-20,22-23,28-29,32-43,100-101 |
| PARAM_VALUE | 0 | pkt->port_num | 1 |
| PARAM_VALUE | 0 | pkt->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->rxe | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->rxe->max_inline_data | 512 |
| PARAM_VALUE | 0 | pkt->rxe->max_ucontext | 1048576 |
| PARAM_VALUE | 0 | pkt->rxe->mmap_offset | 1-u64max |
| PARAM_VALUE | 0 | pkt->rxe->port.mtu_cap | 256,512,1024,2048,4096,u32max |
| PARAM_VALUE | 0 | pkt->rxe->port.subnet_prefix | 18338657682652659712 |
| PARAM_VALUE | 0 | pkt->wqe | 4096-ptr_max |
| PARAM_VALUE | 1 | opcode | 0-12,19-20,22-23,28-29,32-43,100-101 |
| PARAM_VALUE | 2 | se | 0-1 |
| PARAM_VALUE | 3 | mig | 0 |
| PARAM_VALUE | 4 | pad | 0-3 |
| PARAM_VALUE | 5 | pkey | u16max |
| PARAM_VALUE | 7 | ack_req | 0-1 |
| DATA_SOURCE | 0 | pkt | $5 |
| FUZZY_MAX | 2 | se | 1 |
| FUZZY_MAX | 7 | ack_req | 1 |
| HARD_MAX | 2 | se | 1 |
| HARD_MAX | 7 | ack_req | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | pad | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/sw/rxe/rxe_resp.c prepare_ack_packet() -> bth_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pkt | 1710952519002255360,7623511751884341248 |
| PARAM_VALUE | 0 | pkt->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->opcode | 13-18 |
| PARAM_VALUE | 0 | pkt->port_num | 1 |
| PARAM_VALUE | 0 | pkt->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->qp->attr.qp_state | 1-5,7-u32max |
| PARAM_VALUE | 0 | pkt->qp->valid | 1-u32max |
| PARAM_VALUE | 0 | pkt->rxe | 4096-ptr_max |
| PARAM_VALUE | 0 | pkt->rxe->max_inline_data | 512 |
| PARAM_VALUE | 0 | pkt->rxe->max_ucontext | 1048576 |
| PARAM_VALUE | 0 | pkt->rxe->mmap_offset | 1-u64max |
| PARAM_VALUE | 0 | pkt->rxe->port.mtu_cap | 256,512,1024,2048,4096,u32max |
| PARAM_VALUE | 0 | pkt->rxe->port.subnet_prefix | 18338657682652659712 |
| PARAM_VALUE | 1 | opcode | 13-18 |
| PARAM_VALUE | 2 | se | 0 |
| PARAM_VALUE | 3 | mig | 0 |
| PARAM_VALUE | 4 | pad | 0-3 |
| PARAM_VALUE | 5 | pkey | u16max |
| PARAM_VALUE | 7 | ack_req | 0 |
| CAPPED_DATA | 0 | pkt->qp->pri_av.grh.sgid_index | 1 |
| DATA_SOURCE | 0 | pkt | $1 |
| DATA_SOURCE | 1 | opcode | $2 |
| DATA_SOURCE | 8 | psn | $4 |
| STR_LEN | 0 | pkt->qp | (-1),3,10,37 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | pkt->qp->attr.cur_qp_state | 0-6 |
| UNITS | 4 | pad | unit_byte |
| HALF_LOCKED2 | &pool->lock |