Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/nvdimm/btt_devs.c nd_btt_arena_is_valid() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/btt.c btt_arena_write_layout() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &btt->init_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct btt)->init_lock

drivers/nvdimm/pfn_devs.c nd_pfn_init() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/pfn_devs.c nd_pfn_init() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/pfn_devs.c nd_pfn_init() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/pfn_devs.c nd_pfn_validate() -> nd_dev_to_uuid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex