Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/core.c mmc_set_data_timeout() -> mmc_card_long_read_time()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
BUF_SIZE 0 c s32min-(-1),1-s32max
BUF_SIZE 0 c s32min-(-1),1-s32max
BUF_SIZE 0 c->dev.type (-1),48
DATA_SOURCE 0 c $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 c->host->fail_mmc_request.stacktrace_depth 0-u64max
NO_OVERFLOW_SIMPLE 0 c->debugfs_root->d_fsdata
NO_OVERFLOW_SIMPLE 0 c->dev.dma_range_map
NO_OVERFLOW_SIMPLE 0 c->dev.p
NO_OVERFLOW_SIMPLE 0 c->dev.p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 c->dev.physical_location
NO_OVERFLOW_SIMPLE 0 c->host->ios.clock
UNITS 0 c unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mmc_test_lock