Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 packet 3094529792514850816
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->numpkt 0-16
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
TASK_NOT_RUNNING