Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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