Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_req.c rxe_requester() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 4096-ptr_max
PARAM_VALUE 0 packet->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 packet->attr.sq_draining 0
PARAM_VALUE 0 packet->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 packet->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 packet->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 0 packet->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 0 packet->ibqp.qp_context->idle.keepalive 0
PARAM_VALUE 0 packet->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 0 packet->req.noack_pkts 0
PARAM_VALUE 0 packet->skb_out.counter s32min-64
PARAM_VALUE 0 packet->sq.queue 4096-ptr_max
PARAM_VALUE 0 packet->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 packet->valid 1-u32max
PARAM_VALUE 1 av 4096-ptr_max
PARAM_VALUE 2 wqe 4096-ptr_max
PARAM_VALUE 2 wqe->wr.opcode 0-7,9,14-15,32
PARAM_VALUE 2 wqe->wr.send_flags 4-u32max
PARAM_VALUE 3 pkt 8891943745583230976
PARAM_VALUE 3 pkt->hdr 4096-ptr_max
PARAM_VALUE 3 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 3 pkt->opcode 0-12,19-20,22-23,28-29,32-43,100-101
PARAM_VALUE 3 pkt->port_num 1
PARAM_VALUE 3 pkt->qp 4096-ptr_max
PARAM_VALUE 3 pkt->rxe 4096-ptr_max
PARAM_VALUE 3 pkt->wqe 4096-ptr_max
PARAM_VALUE 4 skb 4096-ptr_max
PARAM_VALUE 4 skb->data 4096-ptr_max
PARAM_VALUE 4 skb->data_len 0
PARAM_VALUE 4 skb->dev 4096-ptr_max
PARAM_VALUE 4 skb->protocol 2048,34525
BUF_SIZE 1 av 88
BUF_SIZE 4 skb 0-s32max
BUF_SIZE 4 skb 0-s32max
CAPPED_DATA 1 av->grh.sgid_index 1
CAPPED_DATA 2 wqe->dma.num_sge 1
CAPPED_DATA 2 wqe->dma.resid 1
CAPPED_DATA 5 payload 1
DATA_SOURCE 0 packet $0
DATA_SOURCE 1 av r rxe_get_av
DATA_SOURCE 2 wqe r req_next_wqe
DATA_SOURCE 4 skb r init_req_packet
PARAM_COMPARE 0 packet->sq.max_sge >= $2->dma.num_sge
CONSTRAINT 1 av->grh.sgid_index <3765
BIT_INFO 2 wqe->mask 0x0,0xffffffdf
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 packet->attr.cur_qp_state 0-6
USER_DATA 0 packet->attr.qp_state 1-5
UNITS 5 payload unit_byte

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 2775324369589047296
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->updegr 0-1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_dma_rtail() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 8917837643760062464
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->updegr 0-1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_fp() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 8041790189294186496
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->numpkt 0-16
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->updegr 0-1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_sp() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 3094529792514850816
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->numpkt 0-16
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->updegr 0-1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_nodma_rtail() -> finish_packet()

Type Parameter Key Value
PARAM_VALUE 0 packet 6593409613815103488
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->updegr 0-1
TASK_NOT_RUNNING
NOCHECK_CALL