Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/chip.c write_dev_cntr() -> write_dev_port_cntr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 vl (-1)-14,16-63
PARAM_VALUE 5 data 0
CAPPED_DATA 4 vl 1
DATA_SOURCE 0 dd $0
DATA_SOURCE 3 context $0
DATA_SOURCE 4 vl $2
DATA_SOURCE 5 data $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dd->lcb_err_en 0-u64max
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/chip.c write_port_cntr() -> write_dev_port_cntr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 vl (-1)-14,16-63
PARAM_VALUE 5 data 0
CAPPED_DATA 4 vl 1
DATA_SOURCE 3 context $0
DATA_SOURCE 4 vl $2
DATA_SOURCE 5 data $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock