Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c btt_log_read() -> btt_log_group_read()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->freelist 16,4096-ptr_max
PARAM_VALUE 0 arena->nd_btt 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns 4096-ptr_max
PARAM_VALUE 0 arena->nfree 1-u32max
PARAM_VALUE 2 log 2979048859385573376
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena->freelist 0-s32max
CAPPED_DATA 1 lane 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 lane $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
NO_OVERFLOW_SIMPLE 1 lane
UNITS 1 lane unit_array_size
HALF_LOCKED2 &btt->init_lock
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/btt.c log_set_indices() -> btt_log_group_read()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->err_lock.dep_map->name 0-255
PARAM_VALUE 0 arena->err_lock.first_waiter 0
PARAM_VALUE 0 arena->err_lock.magic 4096-ptr_max
PARAM_VALUE 0 arena->err_lock.osq.tail.counter 0
PARAM_VALUE 0 arena->err_lock.owner.counter 0
PARAM_VALUE 0 arena->nd_btt 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->dev.parent 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->initial_offset 0,4096
PARAM_VALUE 0 arena->nd_btt->lbasize 1-u64max
PARAM_VALUE 0 arena->nd_btt->ndns 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->uuid 1-u64max
PARAM_VALUE 0 arena->nd_btt->version_major 1-2
PARAM_VALUE 0 arena->nd_btt->version_minor 0-1
PARAM_VALUE 0 arena->nfree 1-u32max
PARAM_VALUE 0 arena->sector_size 512,4096
PARAM_VALUE 2 log 717907518174732288
BUF_SIZE 0 arena 320
CAPPED_DATA 1 lane 1
DATA_SOURCE 0 arena $0
PARAM_COMPARE 0 arena->nfree > $1
PARAM_COMPARE 1 lane < $0->nfree
BIT_INFO 0 arena->sector_size 0x0,0x1200
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
NO_OVERFLOW_SIMPLE 1 lane
UNITS 1 lane unit_array_size
HALF_LOCKED2 &dev->mutex