Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->ns_current 0-s32max
PARAM_VALUE 2 slot 0-64
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 ndd $0
DATA_SOURCE 1 nd_label r to_label
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->ns_current 0-s32max
PARAM_VALUE 2 slot 0-64
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 ndd $0
DATA_SOURCE 1 nd_label r to_label
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

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

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->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 2 slot 0-64
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),1-s32max
CAPPED_DATA 0 ndd->nsarea.config_size 1
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 ndd $0
DATA_SOURCE 1 nd_label r to_label
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &nvdimm_bus->reconfig_mutex