Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_interrupt() -> dw_mci_write_data_pio()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dir_status 256
PARAM_VALUE 0 host->sg 1-u64max
DATA_SOURCE 0 host $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.is_rel 0-1
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->sg_miter.consumed 0-u32max
HOST_DATA 0 host->sg_miter.length 0-u32max
HOST_DATA 0 host->state 0-u32max
NO_OVERFLOW_SIMPLE 0 host->part_buf_count
NO_OVERFLOW_SIMPLE 0 host->part_buf_start
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags