Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/cqhci-core.c cqhci_host_alloc_tdl() -> setup_trans_desc()

Type Parameter Key Value
PARAM_VALUE 0 cq_host 4096-ptr_max
PARAM_VALUE 0 cq_host->data_size 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 cq_host->desc_base 1-ptr_max
PARAM_VALUE 0 cq_host->desc_size 0,512,768,1024
PARAM_VALUE 0 cq_host->enabled 0
PARAM_VALUE 0 cq_host->link_desc_len 8,16
PARAM_VALUE 0 cq_host->mmc 4096-ptr_max
PARAM_VALUE 0 cq_host->num_slots 32
PARAM_VALUE 0 cq_host->ops->read_l 0
PARAM_VALUE 0 cq_host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 cq_host->quirks 0-1
PARAM_VALUE 0 cq_host->slot_sz 16,24,32
PARAM_VALUE 0 cq_host->task_desc_len 8,16
PARAM_VALUE 0 cq_host->trans_desc_base 1-ptr_max
PARAM_VALUE 0 cq_host->trans_desc_len 8,12,16
BUF_SIZE 0 cq_host->desc_base s32min-s32max
BUF_SIZE 0 cq_host->trans_desc_base s32min-s32max
CAPPED_DATA 1 tag 1
DATA_SOURCE 0 cq_host $0
FUZZY_MAX 0 cq_host->link_desc_len 16
FUZZY_MAX 0 cq_host->slot_sz 32
FUZZY_MAX 0 cq_host->task_desc_len 16
FUZZY_MAX 0 cq_host->trans_desc_len 16
PARAM_COMPARE 0 cq_host->num_slots > $1
PARAM_COMPARE 1 tag < $0->num_slots
BIT_INFO 0 cq_host->desc_size 0x0,0xffffffff
BIT_INFO 0 cq_host->link_desc_len 0x0,0x18
BIT_INFO 0 cq_host->task_desc_len 0x0,0x18
BIT_INFO 0 cq_host->trans_desc_len 0x0,0x1c
HARD_MAX 0 cq_host->link_desc_len 16
HARD_MAX 0 cq_host->slot_sz 32
HARD_MAX 0 cq_host->task_desc_len 16
HARD_MAX 0 cq_host->trans_desc_len 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 tag unit_array_size
HALF_LOCKED2 &pool->lock