Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_pull_data() -> (struct dw_mci)->pull_data()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dir_status 512
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 1 buf 4096-ptr_max
DATA_SOURCE 0 host $0
DATA_SOURCE 1 buf $1 [m]
DATA_SOURCE 2 cnt $2 [m]
CONTAINER 0 -640+0 $(-1)
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 0-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-s32max[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