Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/chip.c hfi1_enable_rsm_rule() -> add_rsm_rule()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 rule_index 2
PARAM_VALUE 2 rrd 2548255416981774336
PARAM_VALUE 2 rrd->field1_off 48
PARAM_VALUE 2 rrd->field2_off 80
PARAM_VALUE 2 rrd->index2_off 248
PARAM_VALUE 2 rrd->mask1 3
PARAM_VALUE 2 rrd->mask2 255
PARAM_VALUE 2 rrd->pkt_type 2
PARAM_VALUE 2 rrd->value1 2
PARAM_VALUE 2 rrd->value2 129
DATA_SOURCE 0 dd $0
DATA_SOURCE 1 rule_index $1
DATA_SOURCE 2 rrd $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &device->unregistration_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/infiniband/hw/hfi1/chip.c init_fecn_handling() -> add_rsm_rule()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 rule_index 0
PARAM_VALUE 2 rrd 1573224469398503424
PARAM_VALUE 2 rrd->field1_off 95
PARAM_VALUE 2 rrd->field2_off 133
PARAM_VALUE 2 rrd->index1_off 64
PARAM_VALUE 2 rrd->index1_width 8
PARAM_VALUE 2 rrd->index2_off 0
PARAM_VALUE 2 rrd->index2_width 0
PARAM_VALUE 2 rrd->mask1 1
PARAM_VALUE 2 rrd->mask2 1
PARAM_VALUE 2 rrd->pkt_type 0
PARAM_VALUE 2 rrd->value1 1
PARAM_VALUE 2 rrd->value2 1
CAPPED_DATA 0 dd->num_rcv_contexts 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL

drivers/infiniband/hw/hfi1/chip.c init_qos() -> add_rsm_rule()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 rule_index 3
PARAM_VALUE 2 rrd 2578791424693387264
PARAM_VALUE 2 rrd->field1_off 48
PARAM_VALUE 2 rrd->field2_off 56
PARAM_VALUE 2 rrd->index1_off 60
PARAM_VALUE 2 rrd->index1_width 0
PARAM_VALUE 2 rrd->index2_off 65
PARAM_VALUE 2 rrd->index2_width 0
PARAM_VALUE 2 rrd->mask1 3
PARAM_VALUE 2 rrd->mask2 128
PARAM_VALUE 2 rrd->offset 0
PARAM_VALUE 2 rrd->pkt_type 2
PARAM_VALUE 2 rrd->value1 2
PARAM_VALUE 2 rrd->value2 0
DATA_SOURCE 0 dd $0
NOCHECK_CALL