Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/label.c nd_label_active() -> preamble_current()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->ns_current 0-s32max
PARAM_VALUE 1 nsindex 8325561176898158592
PARAM_VALUE 2 free 109490446780739584
PARAM_VALUE 3 nslot 3106024512185913344
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/label.c nd_label_active_count() -> preamble_current()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 1 nsindex 4425461617454538752
PARAM_VALUE 2 free 1489953555189514240
PARAM_VALUE 3 nslot 4051551929506230272
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/label.c nd_label_reserve_dpa() -> preamble_current()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->data 16,4096-ptr_max
PARAM_VALUE 0 ndd->dev 4096-ptr_max
PARAM_VALUE 0 ndd->dpa.end u64max
PARAM_VALUE 0 ndd->dpa.start 0
PARAM_VALUE 0 ndd->kref.refcount.refs.counter 1
PARAM_VALUE 0 ndd->ns_current 0-1
PARAM_VALUE 0 ndd->ns_next 0-1
PARAM_VALUE 0 ndd->nsarea.config_size 1-u32max
PARAM_VALUE 0 ndd->nsarea.max_xfer 1-u32max
PARAM_VALUE 0 ndd->nsarea.status 0
PARAM_VALUE 1 nsindex 5179302899094192128
PARAM_VALUE 2 free 5460366305824108544
PARAM_VALUE 3 nslot 4991981300859822080
BUF_SIZE 0 ndd 120
BUF_SIZE 0 ndd->dev (-1)-0,4,16,24-s32max
BUF_SIZE 0 ndd->dpa.name s32min,(-10),1-s32max
CAPPED_DATA 0 ndd->nsarea.config_size 1
DATA_SOURCE 0 ndd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &nvdimm_bus->reconfig_mutex