Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 packet 2775324369589047296
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->etype 0-7
PARAM_VALUE 0 packet->maxcnt 0-16711425
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 0 packet->tlen 0,4-16380
PARAM_VALUE 0 packet->updegr 0-1
DATA_SOURCE 1 thread $1
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 packet 8917837643760062464
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->etype 0-7
PARAM_VALUE 0 packet->maxcnt 0-16711425
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 0 packet->tlen 0,4-16380
PARAM_VALUE 0 packet->updegr 0-1
DATA_SOURCE 1 thread $1
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 packet 6593409613815103488
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->etype 0-7
PARAM_VALUE 0 packet->maxcnt 0-16711425
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 0 packet->tlen 0,4-16380
PARAM_VALUE 0 packet->updegr 0-1
DATA_SOURCE 1 thread $1
TASK_NOT_RUNNING