Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cq_host 4096-ptr_max
PARAM_VALUE 0 cq_host->mmc 4096-ptr_max
PARAM_VALUE 0 cq_host->trans_desc_len 8,12,16
DATA_SOURCE 0 cq_host $0
FUZZY_MAX 0 cq_host->trans_desc_len 16
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->trans_desc_len 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/mmc/host/cqhci-core.c get_trans_desc() -> get_trans_desc_offset()

Type Parameter Key Value
PARAM_VALUE 0 cq_host 4096-ptr_max
DATA_SOURCE 0 cq_host $0
DATA_SOURCE 1 tag $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/mmc/host/cqhci-core.c get_trans_desc_dma() -> get_trans_desc_offset()

Type Parameter Key Value
PARAM_VALUE 0 cq_host 4096-ptr_max
PARAM_VALUE 0 cq_host->mmc 4096-ptr_max
PARAM_VALUE 0 cq_host->trans_desc_len 8,12,16
CAPPED_DATA 1 tag 1
DATA_SOURCE 0 cq_host $0
DATA_SOURCE 1 tag $1
FUZZY_MAX 0 cq_host->trans_desc_len 16
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->trans_desc_len 16
UNITS 1 tag unit_array_size