Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c btt_flog_write() -> __btt_log_write()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->external_nlba 1-u32max
PARAM_VALUE 0 arena->freelist 4096-ptr_max
PARAM_VALUE 0 arena->internal_nlba 1-u32max
PARAM_VALUE 0 arena->nd_btt 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->dev.parent 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 0 arena->rtt 4096-ptr_max
PARAM_VALUE 1 lane 0
PARAM_VALUE 2 sub 0-255
PARAM_VALUE 3 ent 6490017977047896064
PARAM_VALUE 3 ent->lba 0-4294967294
PARAM_VALUE 3 ent->new_map 0-4294967294
PARAM_VALUE 4 flags 1
CAPPED_DATA 0 arena->nfree 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 lane $1
DATA_SOURCE 2 sub $2
DATA_SOURCE 3 ent $3
BIT_INFO 0 arena->flags 0x0,0xfffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/nvdimm/btt.c btt_log_init() -> __btt_log_write()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->dev.parent 4096-ptr_max
PARAM_VALUE 0 arena->nfree 1-u32max
PARAM_VALUE 2 sub 0
PARAM_VALUE 3 ent 3599146602883760128
PARAM_VALUE 3 ent->seq 1
PARAM_VALUE 4 flags 0
CAPPED_DATA 1 lane 1
DATA_SOURCE 0 arena $0
PARAM_COMPARE 0 arena->nfree > $1
PARAM_COMPARE 1 lane < $0->nfree
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
NO_OVERFLOW_SIMPLE 1 lane
NO_OVERFLOW_SIMPLE 3 ent->lba
UNITS 1 lane unit_array_size
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock