Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/features.c cxlctl_fw_rpc() -> cxlctl_validate_hw_command()

Type Parameter Key Value
PARAM_VALUE 1 rpc_in 4096-ptr_max
PARAM_VALUE 1 rpc_in->op_size 0-2097136
PARAM_VALUE 2 scope 0-3
BUF_SIZE 1 rpc_in 0-2097152
BUF_SIZE 1 rpc_in 0-2097152
CAPPED_DATA 1 rpc_in->op_size 1
DATA_SOURCE 1 rpc_in $2
DATA_SOURCE 2 scope $1
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[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 scope 0-3[u]
USER_DATA 3 opcode 0-u16max[u]
USER_PTR 1 rpc_in
LOCK2 _T->lock