Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-log-writes.c log_writes_kthread() -> log_one_block()

Type Parameter Key Value
PARAM_VALUE 0 lc 4096-ptr_max
PARAM_VALUE 0 lc->blocks_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lc->logging_enabled 1
PARAM_VALUE 1 block 4096-ptr_max
PARAM_VALUE 1 block->list.next->prev 4096-ptr_max
PARAM_VALUE 1 block->list.prev->next 4096-ptr_max
BUF_SIZE 0 lc 128
BUF_SIZE 0 lc 128
CAPPED_DATA 0 &lc->logging_blocks 1
DATA_SOURCE 0 lc $0
PARAM_COMPARE 0 &lc->logging_blocks != $0->logging_blocks.next
UNITS 2 sector unit_byte