Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/dw_mmc.c dw_mci_push_data16() -> dw_mci_push_part_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 256 |
| PARAM_VALUE | 0 | host->part_buf_count | 1-255 |
| PARAM_VALUE | 0 | host->sg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.addr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.consumed | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.length | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | cnt | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | cnt | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.count | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.interval | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.probability | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.begin | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.burst | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.interval | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.magic | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.owner_cpu | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.missed.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.rs_n_left.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.reject_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.reject_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.space.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.task_filter | 0-1 |
| HOST_DATA | 0 | host->fail_data_crc.times.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.verbose | 0-u64max |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 2-7[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.length | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__nents | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 2 | cnt | 2-s32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/dw_mmc.c dw_mci_push_data32() -> dw_mci_push_part_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 256 |
| PARAM_VALUE | 0 | host->part_buf_count | 1-255 |
| PARAM_VALUE | 0 | host->sg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.addr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.consumed | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.length | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | cnt | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | cnt | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.count | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.interval | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.probability | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.begin | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.burst | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.interval | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.magic | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.owner_cpu | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.missed.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.rs_n_left.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.reject_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.reject_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.space.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.task_filter | 0-1 |
| HOST_DATA | 0 | host->fail_data_crc.times.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.verbose | 0-u64max |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 2-7[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.length | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__nents | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 2 | cnt | 2-s32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/dw_mmc.c dw_mci_push_data64() -> dw_mci_push_part_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 256 |
| PARAM_VALUE | 0 | host->part_buf_count | 1-255 |
| PARAM_VALUE | 0 | host->sg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.addr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.consumed | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.length | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | cnt | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | cnt | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.count | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.interval | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.probability | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.begin | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.burst | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.interval | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.magic | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.owner_cpu | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.missed.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.rs_n_left.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.reject_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.reject_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.space.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.task_filter | 0-1 |
| HOST_DATA | 0 | host->fail_data_crc.times.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.verbose | 0-u64max |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 2-7[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.length | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__nents | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 2 | cnt | 2-s32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/dw_mmc.c dw_mci_push_data64_32() -> dw_mci_push_part_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 256 |
| PARAM_VALUE | 0 | host->part_buf_count | 1-255 |
| PARAM_VALUE | 0 | host->sg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.addr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->sg_miter.consumed | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.length | 0-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | cnt | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | cnt | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.count | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.interval | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.probability | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.begin | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.burst | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.flags | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.interval | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.magic | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.owner_cpu | 0-u32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.missed.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.ratelimit_state.rs_n_left.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.reject_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.reject_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_end | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.require_start | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.space.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->fail_data_crc.task_filter | 0-1 |
| HOST_DATA | 0 | host->fail_data_crc.times.counter | s32min-s32max |
| HOST_DATA | 0 | host->fail_data_crc.verbose | 0-u64max |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 2-7[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.length | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__nents | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 2 | cnt | 2-s32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |