Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fwctl/pds/main.c pdsfc_fw_rpc() -> pdsfc_validate_rpc()

Type Parameter Key Value
PARAM_VALUE 0 pdsfc 4096-ptr_max
PARAM_VALUE 1 rpc 16,4096-ptr_max
PARAM_VALUE 2 scope 0-3
BUF_SIZE 1 rpc 0-2097152
BUF_SIZE 1 rpc 0-2097152
DATA_SOURCE 1 rpc $2
DATA_SOURCE 2 scope $1
USER_DATA 1 rpc->in.ep 0-u32max[u]
USER_DATA 1 rpc->in.len 0-u32max[u]
USER_DATA 1 rpc->in.op 0-u32max[u]
USER_DATA 1 rpc->in.payload 0-u64max[u]
USER_DATA 1 rpc->in.rsvd 0-u32max[u]
USER_DATA 1 rpc->out.len 0-u32max[u]
USER_DATA 1 rpc->out.payload 0-u64max[u]
USER_DATA 1 rpc->out.retval 0-u32max[u]
USER_DATA 2 scope 0-3[u]
USER_PTR 1 rpc
LOCK2 _T->lock