Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/block.c alloc_idata() -> free_idata()

Type Parameter Key Value
PARAM_VALUE 0 idata 4096-ptr_max
PARAM_VALUE 1 cmd_count 0-2
BUF_SIZE 0 idata 16-24
BUF_SIZE 0 idata 16-24
CAPPED_DATA 1 cmd_count 1
DATA_SOURCE 0 idata r _kzalloc_noprof
FUZZY_MAX 1 cmd_count 2
HARD_MAX 1 cmd_count 2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 cmd_count
UNITS 1 cmd_count unit_array_size

drivers/mmc/core/block.c mmc_route_rpmb_frames() -> free_idata()

Type Parameter Key Value
PARAM_VALUE 0 idata 4096-ptr_max
PARAM_VALUE 1 cmd_count 2-3
BUF_SIZE 0 idata 16-24
BUF_SIZE 0 idata 16-24
CAPPED_DATA 1 cmd_count 1
DATA_SOURCE 0 idata r alloc_idata
FUZZY_MAX 1 cmd_count 3
BIT_INFO 1 cmd_count 0x2,0x3
HARD_MAX 1 cmd_count 3
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 cmd_count