Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

drivers/mtd/tests/readtest.c mtd_readtest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

fs/cramfs/inode.c cramfs_kill_sb() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

drivers/media/pci/mgb4/mgb4_core.c get_serial_number() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
CAPPED_DATA 0 mtd 1
DATA_SOURCE 0 mtd r get_mtd_device_nm
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/mtd_virt_concat.c mtd_virt_concat_put_mtd_devices() -> put_mtd_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/mtdchar.c mtdchar_close() -> put_mtd_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/mtdchar.c mtdchar_open() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/tests/subpagetest.c mtd_subpagetest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/tests/stresstest.c mtd_stresstest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/mtdsuper.c kill_mtd_super() -> put_mtd_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

drivers/mtd/mtdsuper.c mtd_get_sb() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

drivers/net/wireless/mediatek/mt76/eeprom.c mt76_get_of_data_from_mtd() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
CAPPED_DATA 0 mtd 1
DATA_SOURCE 0 mtd r get_mtd_device_nm
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/tests/torturetest.c tort_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/ubi/cdev.c ctrl_cdev_ioctl() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 0-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
CAPABLE 0 24
NOCHECK_CALL

drivers/mtd/tests/nandbiterrs.c mtd_nandbiterrs_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/tests/speedtest.c mtd_speedtest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/tests/pagetest.c mtd_pagetest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/tests/oobtest.c mtd_oobtest_init() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
DATA_SOURCE 0 mtd r get_mtd_device
NOCHECK_CALL

drivers/mtd/ubi/build.c ubi_detach_mtd_dev() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex

drivers/mtd/ubi/build.c ubi_init_attach() -> put_mtd_device()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
BUF_SIZE 0 mtd (-1),64,88
BUF_SIZE 0 mtd (-1),64,88
DATA_SOURCE 0 mtd r open_mtd_device
NOCHECK_CALL