Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fwctl/main.c fwctl_cmd_rpc() -> (struct fwctl_ops)->fw_rpc()

Type Parameter Key Value
PARAM_VALUE 0 uctx 4096-ptr_max
PARAM_VALUE 0 uctx->fwctl 4096-ptr_max
PARAM_VALUE 0 uctx->fwctl->ops 4096-ptr_max
PARAM_VALUE 1 scope 0-3
PARAM_VALUE 2 in 1-18446744073709551614
PARAM_VALUE 3 in_len 0-2097152
PARAM_VALUE 4 out_len 2660176404162551808
PARAM_VALUE 4 *out_len 0-2097152
BUF_SIZE 2 in 0-2097152
BUF_SIZE 2 in 0-2097152
CAPPED_DATA 3 in_len 1
DATA_SOURCE 2 in r __kvmalloc_node_noprof
FUZZY_MAX 3 in_len 2097152
HARD_MAX 3 in_len 2097152
USER_DATA 1 scope 0-3[u]
USER_DATA 2 *in s64min-s64max
USER_DATA 3 in_len 0-2097152[c]
USER_DATA 4 *out_len 0-2097152[u]
BYTE_COUNT 2 ==in3 8050
USER_PTR 2 in
USER_PTR 4 out_len
LOCK2 _T->lock