Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/block.c mmc_blk_alloc() -> mmc_blk_alloc_req()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->complete_wq 4096-ptr_max
PARAM_VALUE 1 parent 4096-ptr_max
PARAM_VALUE 3 default_ro 0
PARAM_VALUE 4 subname 0
PARAM_VALUE 5 area_type 1
PARAM_VALUE 6 part_type 0
BUF_SIZE 0 card->complete_wq (-1),512,528-8720
DATA_SOURCE 0 card $0
BIT_INFO 0 card->csd.cmdclass 0x4,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/core/block.c mmc_blk_alloc_part() -> mmc_blk_alloc_req()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->complete_wq 4096-ptr_max
PARAM_VALUE 0 card->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->nr_parts 1-u32max
PARAM_VALUE 0 card->part 4096-ptr_max
PARAM_VALUE 0 card->type 0
PARAM_VALUE 1 parent 4096-ptr_max
PARAM_VALUE 2 size 0-36028797018963967
BUF_SIZE 0 card->complete_wq (-1),512,528-8720
BUF_SIZE 4 subname 20
BUF_SIZE 4 subname 20
DATA_SOURCE 0 card $0
DATA_SOURCE 2 size $3
DATA_SOURCE 3 default_ro $4
DATA_SOURCE 4 subname $5
DATA_SOURCE 5 area_type $6
DATA_SOURCE 6 part_type $2
BIT_INFO 0 card->csd.cmdclass 0x4,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING