Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/nvdimm/label.c nd_label_validate() -> __nd_label_validate()
| 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 | (-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 |
| BUF_SIZE | 0 | ndd | 120 |
| BUF_SIZE | 0 | ndd->data | 1-s32max |
| BUF_SIZE | 0 | ndd->dev | (-1)-0,4,16,24-s32max |
| BUF_SIZE | 0 | ndd->dpa.name | s32min,(-10),1-s32max |
| DATA_SOURCE | 0 | ndd | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |