Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/dw_mmc.c dw_mci_pull_data16() -> dw_mci_pull_final_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 512 |
| PARAM_VALUE | 0 | host->fifo_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->part_buf | 0-u16max |
| PARAM_VALUE | 0 | host->part_buf32 | 0-u16max |
| 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.__nents | 1-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-u64max |
| PARAM_VALUE | 1 | *buf | 0-u16max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 [m] |
| DATA_SOURCE | 2 | cnt | $2 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->bh_work.data.counter | s64min-s64max |
| HOST_DATA | 0 | host->bus_hz | 0-u32max |
| HOST_DATA | 0 | host->clk_old | 0-u32max |
| HOST_DATA | 0 | host->clock | 0-u32max |
| HOST_DATA | 0 | host->cmd11_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->completed_events | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->ctype | 0-u32max |
| HOST_DATA | 0 | host->current_speed | 0-u32max |
| HOST_DATA | 0 | host->data_addr_override | 0-u32max |
| HOST_DATA | 0 | host->data_shift | s32min-s32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->desc_num | 0-u16max |
| HOST_DATA | 0 | host->detect_delay_ms | 0-u32max |
| HOST_DATA | 0 | host->dir_status | 512 |
| HOST_DATA | 0 | host->dma_64bit_address | s32min-s32max |
| HOST_DATA | 0 | host->dma_threshold | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.expires | 0-u64max |
| 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._softexpires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.is_hard | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_lazy | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_rel | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_soft | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | host->fifo_depth | s32min-s32max |
| HOST_DATA | 0 | host->fifoth_val | 0-u32max |
| HOST_DATA | 0 | host->flags | 0-u64max |
| HOST_DATA | 0 | host->irq | s32min-s32max |
| HOST_DATA | 0 | host->irq_flags | 0-u64max |
| HOST_DATA | 0 | host->minimum_speed | 0-u32max |
| HOST_DATA | 0 | host->part_buf | 0-u16max |
| HOST_DATA | 0 | host->part_buf16 | 0-u16max |
| HOST_DATA | 0 | host->part_buf32 | 0-u16max |
| HOST_DATA | 0 | host->part_buf_count | 0-255 |
| HOST_DATA | 0 | host->part_buf_start | 0-255 |
| HOST_DATA | 0 | host->pending_events | 0-u64max |
| HOST_DATA | 0 | host->phy_regs | 0-u64max |
| HOST_DATA | 0 | host->prev_blksz | 0-u32max |
| HOST_DATA | 0 | host->quirks | 0-u32max |
| HOST_DATA | 0 | host->sdio_irq | s32min-s32max |
| HOST_DATA | 0 | host->sg_dma | 0-u64max |
| HOST_DATA | 0 | host->sg_miter.__flags | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__offset | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__remaining | 0-u32max |
| 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 | 1-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__pg_advance | s32min-s32max |
| HOST_DATA | 0 | host->sg_miter.piter.sg_pgoffset | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.arg | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.busy_timeout | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.error | s32min-s32max |
| HOST_DATA | 0 | host->stop_abort.ext_addr | 0-255 |
| HOST_DATA | 0 | host->stop_abort.flags | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.has_ext_addr | 0-1 |
| HOST_DATA | 0 | host->stop_abort.opcode | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.retries | 0-u32max |
| HOST_DATA | 0 | host->stop_cmdr | 0-u32max |
| HOST_DATA | 0 | host->timing | 0-255 |
| HOST_DATA | 0 | host->use_dma | s32min-s32max |
| HOST_DATA | 0 | host->using_dma | s32min-s32max |
| HOST_DATA | 0 | host->verid | 0-u16max |
| HOST_DATA | 0 | host->wm_aligned | 0-1 |
| HOST_DATA | 0 | *host | 0-u64max |
| HOST_DATA | 1 | buf | 4096-ptr_max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_count | |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_start | |
| NO_OVERFLOW_SIMPLE | 2 | cnt | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &host->irq_lock |
drivers/mmc/host/dw_mmc.c dw_mci_pull_data32() -> dw_mci_pull_final_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 512 |
| PARAM_VALUE | 0 | host->fifo_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | host->part_buf | 0-u32max |
| 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.__nents | 1-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-u64max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-3 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 [m] |
| DATA_SOURCE | 2 | cnt | $2 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->bh_work.data.counter | s64min-s64max |
| HOST_DATA | 0 | host->bus_hz | 0-u32max |
| HOST_DATA | 0 | host->clk_old | 0-u32max |
| HOST_DATA | 0 | host->clock | 0-u32max |
| HOST_DATA | 0 | host->cmd11_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->completed_events | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->ctype | 0-u32max |
| HOST_DATA | 0 | host->current_speed | 0-u32max |
| HOST_DATA | 0 | host->data_addr_override | 0-u32max |
| HOST_DATA | 0 | host->data_shift | s32min-s32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->desc_num | 0-u16max |
| HOST_DATA | 0 | host->detect_delay_ms | 0-u32max |
| HOST_DATA | 0 | host->dir_status | 512 |
| HOST_DATA | 0 | host->dma_64bit_address | s32min-s32max |
| HOST_DATA | 0 | host->dma_threshold | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.expires | 0-u64max |
| 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._softexpires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.is_hard | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_lazy | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_rel | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_soft | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | host->fifo_depth | s32min-s32max |
| HOST_DATA | 0 | host->fifoth_val | 0-u32max |
| HOST_DATA | 0 | host->flags | 0-u64max |
| HOST_DATA | 0 | host->irq | s32min-s32max |
| HOST_DATA | 0 | host->irq_flags | 0-u64max |
| HOST_DATA | 0 | host->minimum_speed | 0-u32max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf16 | 0-u16max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 0-255 |
| HOST_DATA | 0 | host->part_buf_start | 0-255 |
| HOST_DATA | 0 | host->pending_events | 0-u64max |
| HOST_DATA | 0 | host->phy_regs | 0-u64max |
| HOST_DATA | 0 | host->prev_blksz | 0-u32max |
| HOST_DATA | 0 | host->quirks | 0-u32max |
| HOST_DATA | 0 | host->sdio_irq | s32min-s32max |
| HOST_DATA | 0 | host->sg_dma | 0-u64max |
| HOST_DATA | 0 | host->sg_miter.__flags | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__offset | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__remaining | 0-u32max |
| 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 | 1-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__pg_advance | s32min-s32max |
| HOST_DATA | 0 | host->sg_miter.piter.sg_pgoffset | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.arg | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.busy_timeout | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.error | s32min-s32max |
| HOST_DATA | 0 | host->stop_abort.ext_addr | 0-255 |
| HOST_DATA | 0 | host->stop_abort.flags | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.has_ext_addr | 0-1 |
| HOST_DATA | 0 | host->stop_abort.opcode | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.retries | 0-u32max |
| HOST_DATA | 0 | host->stop_cmdr | 0-u32max |
| HOST_DATA | 0 | host->timing | 0-255 |
| HOST_DATA | 0 | host->use_dma | s32min-s32max |
| HOST_DATA | 0 | host->using_dma | s32min-s32max |
| HOST_DATA | 0 | host->verid | 0-u16max |
| HOST_DATA | 0 | host->wm_aligned | 0-1 |
| HOST_DATA | 0 | *host | 0-u64max |
| HOST_DATA | 1 | buf | 4096-ptr_max[c] |
| HOST_DATA | 2 | cnt | 2-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_count | |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_start | |
| NO_OVERFLOW_SIMPLE | 2 | cnt | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &host->irq_lock |
drivers/mmc/host/dw_mmc.c dw_mci_pull_data64() -> dw_mci_pull_final_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 512 |
| PARAM_VALUE | 0 | host->fifo_reg | 4096-ptr_max |
| 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.__nents | 1-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-u64max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-7 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 [m] |
| DATA_SOURCE | 2 | cnt | $2 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->bh_work.data.counter | s64min-s64max |
| HOST_DATA | 0 | host->bus_hz | 0-u32max |
| HOST_DATA | 0 | host->clk_old | 0-u32max |
| HOST_DATA | 0 | host->clock | 0-u32max |
| HOST_DATA | 0 | host->cmd11_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->completed_events | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->ctype | 0-u32max |
| HOST_DATA | 0 | host->current_speed | 0-u32max |
| HOST_DATA | 0 | host->data_addr_override | 0-u32max |
| HOST_DATA | 0 | host->data_shift | s32min-s32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->desc_num | 0-u16max |
| HOST_DATA | 0 | host->detect_delay_ms | 0-u32max |
| HOST_DATA | 0 | host->dir_status | 512 |
| HOST_DATA | 0 | host->dma_64bit_address | s32min-s32max |
| HOST_DATA | 0 | host->dma_threshold | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.expires | 0-u64max |
| 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._softexpires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.is_hard | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_lazy | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_rel | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_soft | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | host->fifo_depth | s32min-s32max |
| HOST_DATA | 0 | host->fifoth_val | 0-u32max |
| HOST_DATA | 0 | host->flags | 0-u64max |
| HOST_DATA | 0 | host->irq | s32min-s32max |
| HOST_DATA | 0 | host->irq_flags | 0-u64max |
| HOST_DATA | 0 | host->minimum_speed | 0-u32max |
| HOST_DATA | 0 | host->part_buf | 0-u64max |
| HOST_DATA | 0 | host->part_buf16 | 0-u16max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 0-255 |
| HOST_DATA | 0 | host->part_buf_start | 0-255 |
| HOST_DATA | 0 | host->pending_events | 0-u64max |
| HOST_DATA | 0 | host->phy_regs | 0-u64max |
| HOST_DATA | 0 | host->prev_blksz | 0-u32max |
| HOST_DATA | 0 | host->quirks | 0-u32max |
| HOST_DATA | 0 | host->sdio_irq | s32min-s32max |
| HOST_DATA | 0 | host->sg_dma | 0-u64max |
| HOST_DATA | 0 | host->sg_miter.__flags | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__offset | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__remaining | 0-u32max |
| 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 | 1-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__pg_advance | s32min-s32max |
| HOST_DATA | 0 | host->sg_miter.piter.sg_pgoffset | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.arg | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.busy_timeout | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.error | s32min-s32max |
| HOST_DATA | 0 | host->stop_abort.ext_addr | 0-255 |
| HOST_DATA | 0 | host->stop_abort.flags | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.has_ext_addr | 0-1 |
| HOST_DATA | 0 | host->stop_abort.opcode | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.retries | 0-u32max |
| HOST_DATA | 0 | host->stop_cmdr | 0-u32max |
| HOST_DATA | 0 | host->timing | 0-255 |
| HOST_DATA | 0 | host->use_dma | s32min-s32max |
| HOST_DATA | 0 | host->using_dma | s32min-s32max |
| HOST_DATA | 0 | host->verid | 0-u16max |
| HOST_DATA | 0 | host->wm_aligned | 0-1 |
| HOST_DATA | 0 | *host | 0-u64max |
| HOST_DATA | 1 | buf | 4096-ptr_max[c] |
| HOST_DATA | 2 | cnt | 2-7[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_count | |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_start | |
| NO_OVERFLOW_SIMPLE | 2 | cnt | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &host->irq_lock |
drivers/mmc/host/dw_mmc.c dw_mci_pull_data64_32() -> dw_mci_pull_final_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dir_status | 512 |
| PARAM_VALUE | 0 | host->fifo_reg | 4096-ptr_max |
| 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.__nents | 1-u32max |
| PARAM_VALUE | 0 | host->sg_miter.piter.sg | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-u64max |
| PARAM_VALUE | 2 | cnt | s32min-(-1),1-7 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | buf | $1 [m] |
| DATA_SOURCE | 2 | cnt | $2 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->bh_work.data.counter | s64min-s64max |
| HOST_DATA | 0 | host->bus_hz | 0-u32max |
| HOST_DATA | 0 | host->clk_old | 0-u32max |
| HOST_DATA | 0 | host->clock | 0-u32max |
| HOST_DATA | 0 | host->cmd11_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cmd11_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->cmd_status | 0-u32max |
| HOST_DATA | 0 | host->completed_events | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.expires | 0-u64max |
| HOST_DATA | 0 | host->cto_timer.flags | 0-u32max |
| HOST_DATA | 0 | host->ctype | 0-u32max |
| HOST_DATA | 0 | host->current_speed | 0-u32max |
| HOST_DATA | 0 | host->data_addr_override | 0-u32max |
| HOST_DATA | 0 | host->data_shift | s32min-s32max |
| HOST_DATA | 0 | host->data_status | 0-u32max |
| HOST_DATA | 0 | host->desc_num | 0-u16max |
| HOST_DATA | 0 | host->detect_delay_ms | 0-u32max |
| HOST_DATA | 0 | host->dir_status | 512 |
| HOST_DATA | 0 | host->dma_64bit_address | s32min-s32max |
| HOST_DATA | 0 | host->dma_threshold | 0-u32max |
| HOST_DATA | 0 | host->dto_timer.expires | 0-u64max |
| 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._softexpires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.is_hard | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_lazy | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_queued | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_rel | 0-1 |
| HOST_DATA | 0 | host->fault_timer.is_soft | 0-1 |
| HOST_DATA | 0 | host->fault_timer.node.expires | s64min-s64max |
| HOST_DATA | 0 | host->fault_timer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | host->fifo_depth | s32min-s32max |
| HOST_DATA | 0 | host->fifoth_val | 0-u32max |
| HOST_DATA | 0 | host->flags | 0-u64max |
| HOST_DATA | 0 | host->irq | s32min-s32max |
| HOST_DATA | 0 | host->irq_flags | 0-u64max |
| HOST_DATA | 0 | host->minimum_speed | 0-u32max |
| HOST_DATA | 0 | host->part_buf | 0-u32max |
| HOST_DATA | 0 | host->part_buf16 | 0-u16max |
| HOST_DATA | 0 | host->part_buf32 | 0-u32max |
| HOST_DATA | 0 | host->part_buf_count | 0-253[c] |
| HOST_DATA | 0 | host->part_buf_start | 0-255[c] |
| HOST_DATA | 0 | host->pending_events | 0-u64max |
| HOST_DATA | 0 | host->phy_regs | 0-u64max |
| HOST_DATA | 0 | host->prev_blksz | 0-u32max |
| HOST_DATA | 0 | host->quirks | 0-u32max |
| HOST_DATA | 0 | host->sdio_irq | s32min-s32max |
| HOST_DATA | 0 | host->sg_dma | 0-u64max |
| HOST_DATA | 0 | host->sg_miter.__flags | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__offset | 0-u32max |
| HOST_DATA | 0 | host->sg_miter.__remaining | 0-u32max |
| 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 | 1-u32max |
| HOST_DATA | 0 | host->sg_miter.piter.__pg_advance | s32min-s32max |
| HOST_DATA | 0 | host->sg_miter.piter.sg_pgoffset | 0-u32max |
| HOST_DATA | 0 | host->state | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.arg | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.busy_timeout | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.error | s32min-s32max |
| HOST_DATA | 0 | host->stop_abort.ext_addr | 0-255 |
| HOST_DATA | 0 | host->stop_abort.flags | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.has_ext_addr | 0-1 |
| HOST_DATA | 0 | host->stop_abort.opcode | 0-u32max |
| HOST_DATA | 0 | host->stop_abort.retries | 0-u32max |
| HOST_DATA | 0 | host->stop_cmdr | 0-u32max |
| HOST_DATA | 0 | host->timing | 0-255 |
| HOST_DATA | 0 | host->use_dma | s32min-s32max |
| HOST_DATA | 0 | host->using_dma | s32min-s32max |
| HOST_DATA | 0 | host->verid | 0-u16max |
| HOST_DATA | 0 | host->wm_aligned | 0-1 |
| HOST_DATA | 1 | buf | 4096-ptr_max[c] |
| HOST_DATA | 2 | cnt | 2-7[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_count | |
| NO_OVERFLOW_SIMPLE | 0 | host->part_buf_start | |
| NO_OVERFLOW_SIMPLE | 2 | cnt | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &host->irq_lock |