Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/mbox.c cxl_send_cmd() -> cxl_validate_cmd_from_user()

Type Parameter Key Value
PARAM_VALUE 0 mbox_cmd 8396258590734749696
PARAM_VALUE 1 cxl_mbox 4096-ptr_max
PARAM_VALUE 2 send_cmd 8229353844612706304
BUF_SIZE 1 cxl_mbox 360
DATA_SOURCE 1 cxl_mbox $0
USER_DATA 2 send_cmd->flags 0-u32max
USER_DATA 2 send_cmd->id 0-u32max
USER_DATA 2 send_cmd->in.payload 0-u64max
USER_DATA 2 send_cmd->in.rsvd 0-u32max
USER_DATA 2 send_cmd->in.size 0-u32max
USER_DATA 2 send_cmd->out.payload 0-u64max
USER_DATA 2 send_cmd->out.rsvd 0-u32max
USER_DATA 2 send_cmd->out.size 0-u32max
USER_DATA 2 send_cmd->raw.opcode 0-u16max
USER_DATA 2 send_cmd->raw.rsvd 0-u16max
USER_DATA 2 send_cmd->retval 0-u32max
USER_DATA 2 send_cmd->rsvd 0-u32max
LOCK2 _T->lock