Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c arena_clear_freelist_error() -> to_namespace_offset()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena (-1),320
BUF_SIZE 0 arena->freelist (-1)-s32max
DATA_SOURCE 0 arena $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 arena->nfree

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
CAPPED_DATA 1 lba 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 lba $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 1 lba 0-4294967294
CAPPED_DATA 0 arena->nfree 1
CAPPED_DATA 1 lba 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 lba $1
BIT_INFO 0 arena->flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lba unit_array_size
HALF_LOCKED2 &pool->lock

drivers/nvdimm/btt.c btt_is_badblock() -> to_namespace_offset()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
DATA_SOURCE 0 arena $1
DATA_SOURCE 1 lba $2
BIT_INFO 0 arena->flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
CAPPED_DATA 1 lba 1
DATA_SOURCE 0 arena $2
DATA_SOURCE 1 lba $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lba unit_array_size
HALF_LOCKED2 &pool->lock