Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c ib_send_cm_req() -> cm_validate_req_param()

Type Parameter Key Value
PARAM_VALUE 0 param 4096-ptr_max
PARAM_VALUE 0 param->alternate_path 0,4096-ptr_max
PARAM_VALUE 0 param->primary_path 4096-ptr_max
PARAM_VALUE 0 param->private_data 0,4096-ptr_max
DATA_SOURCE 0 param $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 param->flow_control 0-255
USER_DATA 0 param->initiator_depth 0-255
USER_DATA 0 param->private_data_len 0-255
USER_DATA 0 param->qp_num 0-16777215[c]
USER_DATA 0 param->responder_resources 0-255
USER_DATA 0 param->retry_count 0-7[c]
USER_DATA 0 param->rnr_retry_count 0-7[c]
USER_DATA 0 param->service_id 0-u64max