Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/driver.c __prescan_rxq() -> init_ps_mdata()

Type Parameter Key Value
PARAM_VALUE 0 mdata 4816940297251598336
PARAM_VALUE 1 packet 2775324369589047296,6593409613815103488,8917837643760062464
PARAM_VALUE 1 packet->maxcnt 0-16711425
PARAM_VALUE 1 packet->rcd 4096-ptr_max
DATA_SOURCE 1 packet $0
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c seqfile_dump_rcd() -> init_ps_mdata()

Type Parameter Key Value
PARAM_VALUE 0 mdata 920424523734204416
PARAM_VALUE 1 packet 2394377138077044736
PARAM_VALUE 1 packet->maxcnt 0-16711425
PARAM_VALUE 1 packet->rcd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock