Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 3 len 1-134217728
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 1 (*desc)->cmd 3,33
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2 [m]
DATA_SOURCE 3 len $3 [m]
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 3 len 1-134217728
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 1 (*desc)->cmd 3,33
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2 [m]
DATA_SOURCE 3 len $3 [m]
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci.c __sdhci_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
UNITS 2 addr unit_byte
UNITS 3 len unit_byte
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 3 len 1-134217728
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 desc 3951528782701584384
PARAM_VALUE 1 (*desc)->cmd 3,33
PARAM_VALUE 4 cmd 3,33
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
CAPPED_DATA 0 host->sg_count 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 addr $2 [m]
DATA_SOURCE 3 len $3 [m]
DATA_SOURCE 4 cmd $4
BIT_INFO 0 host->flags 0x6,0xffffffffffffffff
HARD_MAX 4 cmd 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->ier 0,1048576-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->sg_count
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock