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_update()

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

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

Type Parameter Key Value
PARAM_VALUE 0 last 0-2
PARAM_VALUE 1 packet 8917837643760062464
PARAM_VALUE 1 packet->etail (-1)-2047
PARAM_VALUE 1 packet->numpkt s32min-(-1),1-s32max
PARAM_VALUE 1 packet->rcd 4096-ptr_max
PARAM_VALUE 1 packet->rhqoff 0-16711424
PARAM_VALUE 1 packet->updegr 0-1
FUZZY_MAX 0 last 2
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 last 0,2
PARAM_VALUE 1 packet 3094529792514850816
PARAM_VALUE 1 packet->etail (-1)-2047
PARAM_VALUE 1 packet->numpkt 0-16
PARAM_VALUE 1 packet->rcd 4096-ptr_max
PARAM_VALUE 1 packet->updegr 0-1
FUZZY_MAX 0 last 2
BIT_INFO 0 last 0x0,0x2
HARD_MAX 0 last 2
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 last 0-2
PARAM_VALUE 1 packet 6593409613815103488
PARAM_VALUE 1 packet->etail (-1)-2047
PARAM_VALUE 1 packet->numpkt s32min-(-1),1-s32max
PARAM_VALUE 1 packet->rcd 4096-ptr_max
PARAM_VALUE 1 packet->rhqoff 0-16711424
PARAM_VALUE 1 packet->updegr 0-1
FUZZY_MAX 0 last 2
TASK_NOT_RUNNING
NOCHECK_CALL