Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-thin.c cell_release() -> dm_cell_release()

Type Parameter Key Value
PARAM_VALUE 1 cell 4096-ptr_max
PARAM_VALUE 2 bios 5849646203124002816
PARAM_VALUE 2 bios->head 0
PARAM_VALUE 2 bios->tail 0
DATA_SOURCE 1 cell $1
DATA_SOURCE 2 bios $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 cell->key.block_begin
NO_OVERFLOW_SIMPLE 1 cell->key.block_end
HALF_LOCKED2 &pool->lock

drivers/md/dm-bio-prison-v1.c dm_cell_error() -> dm_cell_release()

Type Parameter Key Value
PARAM_VALUE 2 bios 3694672585789935616
PARAM_VALUE 2 bios->head 0
PARAM_VALUE 2 bios->tail 0
DATA_SOURCE 0 prison $0
DATA_SOURCE 1 cell $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 cell->key.block_begin
NO_OVERFLOW_SIMPLE 1 cell->key.block_end
HALF_LOCKED2 &pool->lock