Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/ucma.c ucma_set_option_ib() -> ucma_set_ib_path()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 path_data 1-ptr_max
PARAM_VALUE 2 optlen 0-4194304
BUF_SIZE 1 path_data 0-4194304
CAPPED_DATA 0 ctx->file 1
CAPPED_DATA 2 optlen 1
CAPPED_DATA 2 optlen 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 path_data $2
DATA_SOURCE 2 optlen $3
FUZZY_MAX 2 optlen 4194304
USER_DATA 1 path_data->flags 0-u32max[u]
USER_DATA 1 path_data->reserved 0-u32max[u]
USER_DATA 2 optlen 0-4194304[c]
BYTE_COUNT 1 ==path_data2 8050
USER_PTR 1 path_data