Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 optval 1-ptr_max
PARAM_VALUE 3 optlen 0-4194304
BUF_SIZE 2 optval 0-4194304
BUF_SIZE 2 optval 0-4194304
CAPPED_DATA 0 ctx->file 1
CAPPED_DATA 3 optlen 1
CAPPED_DATA 3 optlen 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 optname $2
DATA_SOURCE 2 optval $3
DATA_SOURCE 3 optlen $4
FUZZY_MAX 3 optlen 4194304
PARAM_COMPARE 2 optval == $3
USER_DATA 1 optname s32min-s32max
USER_DATA 2 *optval s64min-s64max
USER_DATA 3 optlen 0-4194304[c]
BYTE_COUNT 2 ==optval3 8050
USER_PTR 2 optval