Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm.c alloc_dev() -> free_minor()

Type Parameter Key Value
PARAM_VALUE 0 minor 0-s32max
DATA_SOURCE 0 minor $0 [m]
NOCHECK_CALL

drivers/md/dm.c free_dev() -> free_minor()

Type Parameter Key Value
PARAM_VALUE 0 minor 0-1048575
NOCHECK_CALL