Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/driver.c handle_eflags() -> rcv_hdrerr()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 2 packet 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 2 packet->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 2 packet->etail (-1)-2047
PARAM_VALUE 2 packet->etype 0-7
PARAM_VALUE 2 packet->extra_byte 0-1
PARAM_VALUE 2 packet->hdr 4096-ptr_max
PARAM_VALUE 2 packet->maxcnt 0-16711425
PARAM_VALUE 2 packet->numpkt 0-16
PARAM_VALUE 2 packet->pad 0-7
PARAM_VALUE 2 packet->rcd 4096-ptr_max
PARAM_VALUE 2 packet->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 2 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 2 packet->sc 0-31
PARAM_VALUE 2 packet->slid 0-16777215
PARAM_VALUE 2 packet->tlen 0,4-16380
PARAM_VALUE 2 packet->updegr 0-1
BUF_SIZE 2 packet->ohdr (-1),48
CAPPED_DATA 2 packet->maxcnt 1
CAPPED_DATA 2 packet->numpkt 1
DATA_SOURCE 2 packet $0
TASK_NOT_RUNNING
NOCHECK_CALL