Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/memstick/core/ms_block.c msb_update_block() -> msb_write_block()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->lba_to_pba_table 4096-ptr_max
PARAM_VALUE 0 msb->need_flush_cache 0
PARAM_VALUE 0 msb->q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msb->regs.param.cp 0,32,64,128
PARAM_VALUE 1 pba 0-64
BUF_SIZE 3 sg (-1),1056
BUF_SIZE 3 sg (-1),1056
CAPPED_DATA 1 pba 1
CAPPED_DATA 4 offset 1
DATA_SOURCE 0 msb $0
DATA_SOURCE 1 pba r msb_get_free_block
DATA_SOURCE 2 lba $1
DATA_SOURCE 3 sg $2
DATA_SOURCE 4 offset $3
UNITS 2 lba unit_byte
HALF_LOCKED2 &pool->lock