Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/nand_base.c nand_subop_get_addr_start_off() -> nand_subop_get_start_off()

Type Parameter Key Value
PARAM_VALUE 0 subop 4096-ptr_max
PARAM_VALUE 1 instr_idx 0-4294967294
CAPPED_DATA 0 subop->ninstrs 1
CAPPED_DATA 1 instr_idx 1
DATA_SOURCE 0 subop $0
DATA_SOURCE 1 instr_idx $1
PARAM_COMPARE 1 instr_idx < $0->ninstrs

drivers/mtd/nand/raw/nand_base.c nand_subop_get_data_start_off() -> nand_subop_get_start_off()

Type Parameter Key Value
PARAM_VALUE 0 subop 4096-ptr_max
PARAM_VALUE 1 instr_idx 0-4294967294
CAPPED_DATA 0 subop->ninstrs 1
CAPPED_DATA 1 instr_idx 1
DATA_SOURCE 0 subop $0
DATA_SOURCE 1 instr_idx $1
PARAM_COMPARE 1 instr_idx < $0->ninstrs