Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hsi/clients/hsi_char.c hsc_break_received() -> hsc_msg_len_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0 |
| DATA_SOURCE | 0 | msg | r hsc_get_first_msg |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/hsi/clients/hsi_char.c hsc_read() -> hsc_msg_len_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-2147479552 |
| CAPPED_DATA | 1 | len | 1 |
| DATA_SOURCE | 0 | msg | r hsc_get_first_msg |
| DATA_SOURCE | 1 | len | $2 [m] |
| NOSPEC | 1 | len | |
| NOSPEC | 1 | len | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | len | 1-1000000000[c] |
drivers/hsi/clients/hsi_char.c hsc_rx_msg_destructor() -> hsc_msg_len_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0 |
| DATA_SOURCE | 0 | msg | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &omap_port->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &port->lock | ||
| TYPE_LOCK | (struct omap_ssi_port)->lock |
drivers/hsi/clients/hsi_char.c hsc_tx_msg_destructor() -> hsc_msg_len_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0 |
| DATA_SOURCE | 0 | msg | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &omap_port->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &port->lock | ||
| TYPE_LOCK | (struct omap_ssi_port)->lock |
drivers/hsi/clients/hsi_char.c hsc_write() -> hsc_msg_len_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-2147479552 |
| CAPPED_DATA | 1 | len | 1 |
| DATA_SOURCE | 0 | msg | r hsc_get_first_msg |
| DATA_SOURCE | 1 | len | $2 [m] |
| NOSPEC | 1 | len | |
| NOSPEC | 1 | len | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | len | 1-1000000000[c] |