Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/features.c cxlctl_handle_commands() -> cxlctl_set_feature()

Type Parameter Key Value
PARAM_VALUE 0 cxlfs 4096-ptr_max
PARAM_VALUE 0 cxlfs->cxlds->cxl_mbox.feat_cap 1-2
PARAM_VALUE 1 rpc_in 4096-ptr_max
PARAM_VALUE 1 rpc_in->op_size 0-2097136
PARAM_VALUE 2 out_len 2660176404162551808
PARAM_VALUE 2 *out_len 0-2097152
BUF_SIZE 1 rpc_in 0-2097152
BUF_SIZE 1 rpc_in 0-2097152
CAPPED_DATA 1 rpc_in->op_size 1
DATA_SOURCE 0 cxlfs $0
DATA_SOURCE 1 rpc_in $1
DATA_SOURCE 2 out_len $2
FUZZY_MAX 1 rpc_in->op_size 2097136
HARD_MAX 1 rpc_in->op_size 2097136
USER_DATA 1 rpc_in->flags 0-u32max[u]
USER_DATA 1 rpc_in->get_feat_in.count 0-u16max[u]
USER_DATA 1 rpc_in->get_feat_in.offset 0-u16max[u]
USER_DATA 1 rpc_in->get_feat_in.selection 0-255[u]
USER_DATA 1 rpc_in->get_sup_feats_in.count 0-u32max[u]
USER_DATA 1 rpc_in->get_sup_feats_in.start_idx 0-u16max[u]
USER_DATA 1 rpc_in->hdr.flags 0-u32max[u]
USER_DATA 1 rpc_in->hdr.op_size 0-u32max[u]
USER_DATA 1 rpc_in->hdr.opcode 0-u32max[u]
USER_DATA 1 rpc_in->hdr.reserved1 0-u32max[u]
USER_DATA 1 rpc_in->op_size 0-2097136[c][u]
USER_DATA 1 rpc_in->opcode 0-u32max[u]
USER_DATA 1 rpc_in->reserved1 0-u32max[u]
USER_DATA 1 rpc_in->set_feat_in.flags 0-u32max[u]
USER_DATA 1 rpc_in->set_feat_in.hdr.flags 0-u32max[u]
USER_DATA 1 rpc_in->set_feat_in.hdr.offset 0-u16max[u]
USER_DATA 1 rpc_in->set_feat_in.hdr.version 0-255[u]
USER_DATA 1 rpc_in->set_feat_in.offset 0-u16max[u]
USER_DATA 1 rpc_in->set_feat_in.version 0-255[u]
USER_DATA 2 *out_len 0-2097152[u]
USER_PTR 1 rpc_in
USER_PTR 2 out_len
LOCK2 _T->lock