Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_write_data_pio() -> (struct dw_mci)->push_data()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dir_status 256
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
CONTAINER 0 -632+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.node.node.node.__rb_parent_color 0-u64max
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]
NO_OVERFLOW_SIMPLE 0 host->part_buf_count
NO_OVERFLOW_SIMPLE 0 host->part_buf_start
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq