Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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 0 ndd->nslabel_size 0-s32max
PARAM_VALUE 1 nd_label 4096-ptr_max
PARAM_VALUE 1 nd_label->cxl.slot 0-64
PARAM_VALUE 1 nd_label->efi.slot 0-64
PARAM_VALUE 2 uuid 521631690902175744
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
DATA_SOURCE 0 ndd $0
DATA_SOURCE 1 nd_label r to_label
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &nvdimm_bus->reconfig_mutex

drivers/nvdimm/namespace_devs.c create_namespace_pmem() -> nsl_get_uuid()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 1 nd_label 4096-ptr_max
PARAM_VALUE 2 uuid 5513019073119797248
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd r to_ndd
DATA_SOURCE 1 nd_label $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nd_mapping->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct nd_mapping)->lock

drivers/nvdimm/namespace_devs.c create_namespace_pmem() -> nsl_get_uuid()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 1 nd_label 4096-ptr_max
PARAM_VALUE 2 uuid 5513019073119797248
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd r to_ndd
DATA_SOURCE 1 nd_label $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nd_mapping->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct nd_mapping)->lock

drivers/nvdimm/namespace_devs.c create_namespace_pmem() -> nsl_get_uuid()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 1 nd_label 4096-ptr_max
PARAM_VALUE 1 nd_label->cxl.position 0-65534
PARAM_VALUE 1 nd_label->efi.position 0-65534
PARAM_VALUE 2 uuid 5513019073119797248
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd r to_ndd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nd_mapping->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct nd_mapping)->lock

drivers/nvdimm/namespace_devs.c namespace_update_uuid() -> nsl_get_uuid()

Type Parameter Key Value
PARAM_VALUE 0 ndd 4096-ptr_max
PARAM_VALUE 1 nd_label 1-u64max
PARAM_VALUE 1 nd_label->cxl.flags 0,8
PARAM_VALUE 1 nd_label->efi.flags 0,8
PARAM_VALUE 2 uuid 4233745016887341056
BUF_SIZE 0 ndd s32min-(-2),1-s32max
BUF_SIZE 0 ndd s32min-(-2),1-s32max
DATA_SOURCE 0 ndd r to_ndd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
LOCK2 &nd_mapping->lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nd_mapping)->lock