Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cxl/core/mbox.c cxl_validate_cmd_from_user() -> cxl_to_mem_cmd_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mem_cmd | 7635499072772616192 |
| PARAM_VALUE | 1 | send_cmd | 8229353844612706304 |
| PARAM_VALUE | 1 | send_cmd->id | 2 |
| PARAM_VALUE | 2 | cxl_mbox | 4096-ptr_max |
| PARAM_VALUE | 2 | cxl_mbox->payload_size | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 2 | cxl_mbox | 360 |
| CAPPED_DATA | 1 | send_cmd->in.size | 1 |
| DATA_SOURCE | 1 | send_cmd | $2 |
| DATA_SOURCE | 2 | cxl_mbox | $1 |
| PARAM_COMPARE | 2 | cxl_mbox->payload_size | >= $1->in.size |
| USER_DATA | 1 | send_cmd->flags | 0-u32max |
| USER_DATA | 1 | send_cmd->in.payload | 0-u64max |
| USER_DATA | 1 | send_cmd->in.rsvd | 0-u32max |
| USER_DATA | 1 | send_cmd->in.size | 0-s32max[c] |
| USER_DATA | 1 | send_cmd->out.payload | 0-u64max |
| USER_DATA | 1 | send_cmd->out.rsvd | 0-u32max |
| USER_DATA | 1 | send_cmd->out.size | 0-u32max |
| USER_DATA | 1 | send_cmd->raw.opcode | 0-u16max |
| USER_DATA | 1 | send_cmd->raw.rsvd | 0-u16max |
| USER_DATA | 1 | send_cmd->retval | 0-u32max |
| USER_DATA | 1 | send_cmd->rsvd | 0-u32max |
| LOCK2 | _T->lock |