Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-writecache.c __writecache_writeback_pmem() -> wc_add_block()

Type Parameter Key Value
PARAM_VALUE 0 wb 4096-ptr_max
PARAM_VALUE 0 wb->wc 4096-ptr_max
PARAM_VALUE 0 wb->wc->dev 4096-ptr_max
PARAM_VALUE 0 wb->wc->pmem_mode 1
PARAM_VALUE 1 e 4096-ptr_max
BUF_SIZE 0 wb->wc_list 128,136-524280
CAPPED_DATA 0 wb->wc->pause 1
BIT_INFO 1 e 0x2fc7f4531db7afe8,0xffffffffffffffff
BIT_INFO 1 e 0x2fc7f4531db7afe8,0xffffffffffffffff
NO_OVERFLOW_SIMPLE 0 wb->wc_list_n
HALF_LOCKED2 &pool->lock

drivers/md/dm-writecache.c __writecache_writeback_pmem() -> wc_add_block()

Type Parameter Key Value
PARAM_VALUE 0 wb 4096-ptr_max
PARAM_VALUE 0 wb->wc 4096-ptr_max
PARAM_VALUE 0 wb->wc->dev 4096-ptr_max
PARAM_VALUE 0 wb->wc->pmem_mode 1
PARAM_VALUE 0 wb->wc_list 4096-ptr_max
PARAM_VALUE 0 wb->wc_list_n 1-65534
PARAM_VALUE 1 e 4096-ptr_max
BUF_SIZE 0 wb->wc_list 128,136-524280
CAPPED_DATA 0 wb->wc->pause 1
CAPPED_DATA 0 wb->wc_list_n 1
BIT_INFO 1 e 0x2fc7f4531db7afe8,0xffffffffffffffff
BIT_INFO 1 e 0x2fc7f4531db7afe8,0xffffffffffffffff
NO_OVERFLOW_SIMPLE 0 wb->wc_list_n
HALF_LOCKED2 &pool->lock