Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/mmc_test.c mmc_test_prepare_mrq() -> mmc_test_prepare_sbc()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->card 4096-ptr_max
PARAM_VALUE 0 test->card->host 4096-ptr_max
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 1 mrq->cmd 4096-ptr_max
PARAM_VALUE 1 mrq->cmd->opcode 17-18,24-25
BUF_SIZE 0 test 32840
BUF_SIZE 0 test 32840
BUF_SIZE 0 test->card s32min-(-2),1-s32max
BUF_SIZE 0 test->gr (-1),48
BUF_SIZE 1 mrq (-1)-0,304
BUF_SIZE 1 mrq (-1)-0,304
BUF_SIZE 1 mrq->sbc (-1),72
DATA_SOURCE 0 test $0
DATA_SOURCE 1 mrq $1
DATA_SOURCE 2 blocks $5
FUZZY_MAX 1 mrq->cmd->opcode 25
BIT_INFO 1 mrq->cmd->opcode 0x10,0x1b
BIT_INFO 1 mrq->data->flags 0x0,0x300
HARD_MAX 1 mrq->cmd->opcode 25
NOCHECK_CALL
HOST_DATA 0 test->card->host->fail_mmc_request.stacktrace_depth 0-u64max
LOCK2 global &mmc_test_lock