Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 opcode 25
PARAM_VALUE 2 write_flag (-2147483647)
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 buf_bytes 512-u32max
DATA_SOURCE 3 buf $1
DATA_SOURCE 4 buf_bytes $2
FUZZY_MAX 4 buf_bytes 512
BIT_INFO 4 buf_bytes 0x0,0xfffffe00
NOCHECK_CALL
UNITS 4 buf_bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 opcode 25
PARAM_VALUE 2 write_flag 1
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 buf_bytes 512
DATA_SOURCE 3 buf $3
DATA_SOURCE 4 buf_bytes $4
NOCHECK_CALL
UNITS 4 buf_bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 opcode 18
PARAM_VALUE 2 write_flag 0
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 buf_bytes 512
DATA_SOURCE 3 buf $3
DATA_SOURCE 4 buf_bytes $4
NOCHECK_CALL
UNITS 4 buf_bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 opcode 25
PARAM_VALUE 2 write_flag 1
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 buf_bytes 512
DATA_SOURCE 3 buf $1
DATA_SOURCE 4 buf_bytes $2
NOCHECK_CALL
UNITS 4 buf_bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 opcode 18
PARAM_VALUE 2 write_flag 0
PARAM_VALUE 3 buf 1-u64max
PARAM_VALUE 4 buf_bytes 1-u32max
DATA_SOURCE 3 buf $3
DATA_SOURCE 4 buf_bytes $4
BIT_INFO 4 buf_bytes 0x0,0xfffffe00
NOCHECK_CALL
UNITS 4 buf_bytes unit_byte