Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/chrome/cros_ec_ishtp.c cros_ec_pkt_xfer_ish() -> prepare_cros_ec_rx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ec_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ec_dev->din_size | s32min-(-1),12-s32max |
| PARAM_VALUE | 0 | ec_dev->dout | 4096-ptr_max |
| PARAM_VALUE | 0 | ec_dev->dout->hdr.channel | 1 |
| PARAM_VALUE | 0 | ec_dev->dout->hdr.status | 0 |
| PARAM_VALUE | 0 | ec_dev->dout_size | s32min-(-1),12-s32max |
| PARAM_VALUE | 0 | ec_dev->priv | 4096-ptr_max |
| PARAM_VALUE | 2 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | msg->insize | 0-u16max |
| BUF_SIZE | 0 | ec_dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ec_dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ec_dev->dev | (-1),1616 |
| BUF_SIZE | 0 | ec_dev->ec | (-1),1688 |
| BUF_SIZE | 0 | ec_dev->pd | (-1),1688 |
| BUF_SIZE | 0 | ec_dev->phys_name | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | ec_dev->priv | (-1),32,48,152,200,800 |
| BUF_SIZE | 1 | in_msg | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | in_msg | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | msg | (-1),20-s32max |
| BUF_SIZE | 2 | msg | (-1),20-s32max |
| BUF_SIZE | 2 | msg->data | (-1),13-u16max |
| CAPPED_DATA | 0 | ec_dev->dout_size | 1 |
| CAPPED_DATA | 2 | msg->insize | 1 |
| DATA_SOURCE | 0 | ec_dev | $0 |
| DATA_SOURCE | 2 | msg | $1 |
| NOSPEC | 2 | msg->insize | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ec_dev->dout->checksum | 0-255 |
| USER_DATA | 2 | msg->command | 0-u32max |
| USER_DATA | 2 | msg->insize | 0-u16max[c] |
| USER_DATA | 2 | msg->outsize | 0-u16max[c] |
| USER_DATA | 2 | msg->result | 0-u32max |
| USER_DATA | 2 | msg->version | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | ec_dev->irq | |
| NO_OVERFLOW_SIMPLE | 2 | msg->data->reboot_timeout_sec | |
| USER_PTR | 2 | msg | |
| USER_PTR | 2 | msg->data | |
| LOCK2 | global &init_lock | ||
| HALF_LOCKED2 | 0 | &ec_dev->lock |