Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c btt_data_read() -> arena_read_bytes()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->external_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->rw_bytes 4096-ptr_max
PARAM_VALUE 0 arena->rtt 4096-ptr_max
PARAM_VALUE 3 n 0-4096
PARAM_VALUE 4 flags 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 offset r to_namespace_offset
DATA_SOURCE 3 n $4
RX_PATH
TASK_NOT_RUNNING
UNITS 2 buf unit_byte
UNITS 3 n unit_byte
HALF_LOCKED2 &pool->lock

drivers/nvdimm/btt.c btt_info_read() -> arena_read_bytes()

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->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->sector_size 512,4096
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 n 4096
PARAM_VALUE 4 flags 0
BUF_SIZE 0 arena 320
BUF_SIZE 2 buf 4096
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf $1
BIT_INFO 0 arena->sector_size 0x0,0x1200
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
HALF_LOCKED2 &dev->mutex

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

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 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 0 arena->nfree 1-u32max
PARAM_VALUE 2 buf 717907518174732288,2979048859385573376
PARAM_VALUE 3 n 64
PARAM_VALUE 4 flags 0
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena->freelist (-1)-s32max
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/btt.c btt_map_read() -> arena_read_bytes()

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 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 2 buf 2332522380777103360
PARAM_VALUE 3 n 4
PARAM_VALUE 4 flags 0-1
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena->freelist (-1)-s32max
BUF_SIZE 2 buf 4
CAPPED_DATA 0 arena->external_nlba 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 4 flags $5
HARD_MAX 4 flags 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte

drivers/nvdimm/btt.c btt_rw_integrity() -> arena_read_bytes()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->external_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->rw_bytes 4096-ptr_max
PARAM_VALUE 0 arena->rtt 4096-ptr_max
PARAM_VALUE 4 flags 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $2
DATA_SOURCE 2 buf r bvec_kmap_local
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
HALF_LOCKED2 &pool->lock