Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/soc/apple/rtkit.c apple_rtkit_crashlog_rx() -> apple_rtkit_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtk | 4096-ptr_max |
| PARAM_VALUE | 0 | rtk->crashlog_buffer.size | 1-4000000 |
| PARAM_VALUE | 0 | rtk->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rtk->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rtk->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rtk->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 2 | bfr | 4096-ptr_max |
| PARAM_VALUE | 2 | bfr->size | 1-4000000 |
| PARAM_VALUE | 3 | offset | 0 |
| PARAM_VALUE | 4 | len | 1-4000000 |
| BUF_SIZE | 1 | dst | 1-u64max |
| DATA_SOURCE | 0 | rtk | $0 |
| DATA_SOURCE | 1 | dst | r _kzalloc_noprof |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/soc/apple/rtkit.c apple_rtkit_syslog_rx_log() -> apple_rtkit_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtk | 4096-ptr_max |
| PARAM_VALUE | 0 | rtk->syslog_buffer.size | 1-u64max |
| PARAM_VALUE | 0 | rtk->syslog_msg_buffer | 1-u64max |
| PARAM_VALUE | 1 | dst | 1602125520534495232 |
| PARAM_VALUE | 2 | bfr | 4096-ptr_max |
| PARAM_VALUE | 2 | bfr->size | 1-u64max |
| PARAM_VALUE | 4 | len | 24 |
| BUF_SIZE | 1 | dst | 24 |
| DATA_SOURCE | 0 | rtk | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 4 | len | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/soc/apple/rtkit.c apple_rtkit_syslog_rx_log() -> apple_rtkit_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtk | 4096-ptr_max |
| PARAM_VALUE | 0 | rtk->syslog_buffer.size | 1-u64max |
| PARAM_VALUE | 0 | rtk->syslog_msg_buffer | 1-u64max |
| PARAM_VALUE | 1 | dst | 1-u64max |
| PARAM_VALUE | 2 | bfr | 4096-ptr_max |
| PARAM_VALUE | 2 | bfr->size | 1-u64max |
| DATA_SOURCE | 0 | rtk | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 3 | offset | unit_byte |
| HALF_LOCKED2 | &pool->lock |