Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/label.c nd_label_data_init() -> nvdimm_get_config_data()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->data 1-18446744073709551614
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 (-1)
PARAM_VALUE 0 ndd->ns_next (-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 0 ndd->nslabel_size 128
PARAM_VALUE 1 buf 1-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 len 0-u32max
BUF_SIZE 0 ndd 120
BUF_SIZE 0 ndd->data 1-u32max
BUF_SIZE 0 ndd->dev (-1)-0,4,16,24-s32max
BUF_SIZE 0 ndd->dpa.name s32min,(-10),1-s32max
BUF_SIZE 1 buf 1-u32max
BUF_SIZE 1 buf 1-u32max
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 ndd $0
DATA_SOURCE 1 buf r __kvmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 3 len unit_byte
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/label.c nd_label_data_init() -> nvdimm_get_config_data()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 0 ndd->data 1-18446744073709551614
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 buf 4096-ptr_max
BUF_SIZE 0 ndd 120
BUF_SIZE 0 ndd->data 1-u32max
BUF_SIZE 0 ndd->dev (-1)-0,4,16,24-s32max
BUF_SIZE 0 ndd->dpa.name s32min,(-10),1-s32max
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ndd $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 buf unit_byte
UNITS 2 offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &dev->mutex