Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_req.c init_req_packet() -> ieth_set_rkey()

Type Parameter Key Value
PARAM_VALUE 0 pkt 8891943745583230976
PARAM_VALUE 0 pkt->hdr 4096-ptr_max
PARAM_VALUE 0 pkt->hdr->apsn 0-16777215,2147483648-2164260863
PARAM_VALUE 0 pkt->hdr->flags 0,16-48,128,144-176
PARAM_VALUE 0 pkt->hdr->opcode 0-12,19-20,22-23,28-29,32-43,100-101
PARAM_VALUE 0 pkt->hdr->pkey u16max
PARAM_VALUE 0 pkt->hdr->qpn 0-16777215
PARAM_VALUE 0 pkt->mask 128-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
DATA_SOURCE 0 pkt $5
BIT_INFO 0 pkt->mask 0x80,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock