Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->log_index 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 2 buf 3599146602883760128,6490017977047896064
PARAM_VALUE 3 n 8
PARAM_VALUE 4 flags 0-1
CAPPED_DATA 0 arena->nfree 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf $3
DATA_SOURCE 4 flags $4
HARD_MAX 4 flags 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
HALF_LOCKED2 &btt->init_lock

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->log_index 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->dev.parent 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 2 buf 3599146602883760136,6490017977047896072
PARAM_VALUE 3 n 8
PARAM_VALUE 4 flags 0-1
CAPPED_DATA 0 arena->nfree 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 4 flags $4
HARD_MAX 4 flags 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
HALF_LOCKED2 &btt->init_lock

drivers/nvdimm/btt.c __btt_map_write() -> arena_write_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 3 n 4
PARAM_VALUE 4 flags 0-1
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 $3
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 arena_clear_freelist_error() -> arena_write_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,4096-ptr_max
PARAM_VALUE 0 arena->err_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 arena->err_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 arena->err_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 arena->err_lock.wait_lock.owner (-1)
PARAM_VALUE 0 arena->err_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 arena->freelist 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 18379471554275704832,18446612682070032384
PARAM_VALUE 3 n 1-4096
PARAM_VALUE 4 flags 0
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena->freelist (-1)-s32max
CAPPED_DATA 0 &arena->err_lock 1
CAPPED_DATA 3 n 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
LOCK2 0 &arena->err_lock
TYPE_LOCK (struct arena_info)->err_lock

drivers/nvdimm/btt.c btt_data_write() -> arena_write_bytes()

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 3 n 0-4096
PARAM_VALUE 4 flags 1
CAPPED_DATA 0 arena->nfree 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 offset r to_namespace_offset
DATA_SOURCE 3 n $4
BIT_INFO 0 arena->flags 0x0,0xfffffffe
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_write() -> arena_write_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->dev.parent 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 n 4096
PARAM_VALUE 4 flags 0
BUF_SIZE 2 buf 4096
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock

drivers/nvdimm/btt.c btt_info_write() -> arena_write_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->dev.parent 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt->ndns->rw_bytes 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 n 4096
PARAM_VALUE 4 flags 0
BUF_SIZE 2 buf 4096
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock

drivers/nvdimm/btt.c btt_log_init() -> arena_write_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->dev.parent 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 n 1-4096
PARAM_VALUE 4 flags 0
BUF_SIZE 2 buf 4096
BUF_SIZE 2 buf 4096
CAPPED_DATA 3 n 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf r _kzalloc_noprof
FUZZY_MAX 3 n 512
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock

drivers/nvdimm/btt.c btt_map_init() -> arena_write_bytes()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->nd_btt 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 n 1-2097152
PARAM_VALUE 4 flags 0
BUF_SIZE 2 buf 2097152
BUF_SIZE 2 buf 2097152
CAPPED_DATA 3 n 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 2 buf r _kzalloc_noprof
FUZZY_MAX 3 n 512
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock

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

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 4 flags 1
CAPPED_DATA 0 arena->nfree 1
CAPPED_DATA 3 n 1
DATA_SOURCE 0 arena $2
DATA_SOURCE 2 buf r bvec_kmap_local
BIT_INFO 0 arena->flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
UNITS 3 n unit_byte
HALF_LOCKED2 &pool->lock