rxe_xmit_packet identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/sw/rxe/rxe_loc.h, line 97 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/sw/rxe/rxe_net.c, line 498 (as a function)

Referenced in 2 files:

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
PARAM_VALUE	0	qp->attr.qp_state	1-5,7-u32max
PARAM_VALUE	0	qp->attr.sq_draining	0
PARAM_VALUE	0	qp->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	qp->ibqp.qp_context->first_error	s32min-(-1),1-s32max
PARAM_VALUE	0	qp->ibqp.qp_context->ib_cm.cm_id->lap_state	1
PARAM_VALUE	0	qp->ibqp.qp_context->ib_cm.cm_id->state	0-5,7-8,10-4294967295
PARAM_VALUE	0	qp->ibqp.qp_context->idle.keepalive	0
PARAM_VALUE	0	qp->ibqp.qp_context->status	0-4294967295
PARAM_VALUE	0	qp->req.noack_pkts	0
PARAM_VALUE	0	qp->skb_out.counter	s32min-64
PARAM_VALUE	0	qp->sq.queue	4096-ptr_max
PARAM_VALUE	0	qp->state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	qp->valid	1-u32max
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->_nfct	0
PARAM_VALUE	2	skb->_skb_refdst	4096-18446744073709547520
PARAM_VALUE	2	skb->active_extensions	0
PARAM_VALUE	2	skb->data_len	0
PARAM_VALUE	2	skb->dev	4096-ptr_max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.__rcuref.refcnt.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.rt6_stats->fib_rt_alloc.counter	s32min-s32max
PARAM_VALUE	2	skb->hash	0
PARAM_VALUE	2	skb->ignore_df	0
PARAM_VALUE	2	skb->ipvs_property	0
PARAM_VALUE	2	skb->l4_hash	0
PARAM_VALUE	2	skb->nf_trace	0
PARAM_VALUE	2	skb->offload_fwd_mark	0
PARAM_VALUE	2	skb->offload_l3_fwd_mark	0
PARAM_VALUE	2	skb->pkt_type	0
PARAM_VALUE	2	skb->protocol	2048,34525
PARAM_VALUE	2	skb->skb_iif	0
PARAM_VALUE	2	skb->sw_hash	0
PARAM_VALUE	2	*skb->cb	0-255
BUF_SIZE	2	skb	0-s32max
BUF_SIZE	2	skb	0-s32max
DATA_SOURCE	0	qp	$0
DATA_SOURCE	2	skb	r init_req_packet
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	qp->attr.cur_qp_state	0-6
USER_DATA	0	qp->attr.qp_state	1-5

drivers/infiniband/sw/rxe/rxe_resp.c read_reply() -> rxe_xmit_packet()

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
PARAM_VALUE	0	qp->attr.qp_state	1-5,7-u32max
PARAM_VALUE	0	qp->resp.aeth_syndrome	31
PARAM_VALUE	0	qp->resp.res	1-u64max
PARAM_VALUE	0	qp->state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	qp->valid	1-u32max
PARAM_VALUE	1	pkt	1710952519002255360
PARAM_VALUE	1	pkt->hdr	4096-ptr_max
PARAM_VALUE	1	pkt->opcode	13-16
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	2	skb	4096-ptr_max
PARAM_VALUE	2	skb->_nfct	0
PARAM_VALUE	2	skb->_skb_refdst	4096-18446744073709547520
PARAM_VALUE	2	skb->active_extensions	0
PARAM_VALUE	2	skb->data_len	0
PARAM_VALUE	2	skb->dev	4096-ptr_max
PARAM_VALUE	2	skb->dev->dev_addr	4096-ptr_max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.__rcuref.refcnt.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.rt6_stats->fib_rt_alloc.counter	s32min-s32max
PARAM_VALUE	2	skb->hash	0
PARAM_VALUE	2	skb->ignore_df	0
PARAM_VALUE	2	skb->ipvs_property	0
PARAM_VALUE	2	skb->l4_hash	0
PARAM_VALUE	2	skb->nf_trace	0
PARAM_VALUE	2	skb->offload_fwd_mark	0
PARAM_VALUE	2	skb->offload_l3_fwd_mark	0
PARAM_VALUE	2	skb->pkt_type	0
PARAM_VALUE	2	skb->protocol	2048,34525
PARAM_VALUE	2	skb->skb_iif	0
PARAM_VALUE	2	skb->sw_hash	0
PARAM_VALUE	2	*skb->cb	0-255
BUF_SIZE	2	skb	0-s32max
BUF_SIZE	2	skb	0-s32max
CAPPED_DATA	0	qp	1
CAPPED_DATA	0	qp->pri_av.grh.sgid_index	1
DATA_SOURCE	0	qp	$0
DATA_SOURCE	2	skb	r prepare_ack_packet
CONSTRAINT	0	qp->pri_av.grh.sgid_index	<3765
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	qp->attr.cur_qp_state	0-6

drivers/infiniband/sw/rxe/rxe_resp.c send_common_ack() -> rxe_xmit_packet()

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
PARAM_VALUE	0	qp->attr.qp_state	1-5,7-u32max
PARAM_VALUE	0	qp->resp.res->flush.level	0-3
PARAM_VALUE	0	qp->resp.res->flush.type	0-15
PARAM_VALUE	0	qp->state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	qp->valid	1-u32max
PARAM_VALUE	1	pkt	7623511751884341248
PARAM_VALUE	1	pkt->hdr	4096-ptr_max
PARAM_VALUE	1	pkt->opcode	16-18
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	2	skb	4096-ptr_max
PARAM_VALUE	2	skb->_nfct	0
PARAM_VALUE	2	skb->_skb_refdst	4096-18446744073709547520
PARAM_VALUE	2	skb->active_extensions	0
PARAM_VALUE	2	skb->data_len	0
PARAM_VALUE	2	skb->dev	4096-ptr_max
PARAM_VALUE	2	skb->dev->dev_addr	4096-ptr_max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_default->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_passed	0-4294967295
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_local_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_bit	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_flags	0-u16max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.fib6_main_tbl->tb6_root.fn_sernum	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.__rcuref.refcnt.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter	s32min-s32max
PARAM_VALUE	2	skb->dev->nd_net.net->ipv6.rt6_stats->fib_rt_alloc.counter	s32min-s32max
PARAM_VALUE	2	skb->hash	0
PARAM_VALUE	2	skb->ignore_df	0
PARAM_VALUE	2	skb->ipvs_property	0
PARAM_VALUE	2	skb->l4_hash	0
PARAM_VALUE	2	skb->nf_trace	0
PARAM_VALUE	2	skb->offload_fwd_mark	0
PARAM_VALUE	2	skb->offload_l3_fwd_mark	0
PARAM_VALUE	2	skb->pkt_type	0
PARAM_VALUE	2	skb->protocol	2048,34525
PARAM_VALUE	2	skb->skb_iif	0
PARAM_VALUE	2	skb->sw_hash	0
PARAM_VALUE	2	*skb->cb	0-255
BUF_SIZE	2	skb	0-s32max
BUF_SIZE	2	skb	0-s32max
CAPPED_DATA	0	qp	1
CAPPED_DATA	0	qp->pri_av.grh.sgid_index	1
DATA_SOURCE	0	qp	$0
DATA_SOURCE	2	skb	r prepare_ack_packet
STR_LEN	0	qp	3,10,37
STR_LEN	0	qp	3,10,37
CONSTRAINT	0	qp->pri_av.grh.sgid_index	<3765
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	qp->attr.cur_qp_state	0-6
HALF_LOCKED2		&pool->lock