Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/mtd_blkdevs.c blktrans_notify_add() -> (struct mtd_blktrans_ops)->add_mtd()

Type Parameter Key Value
PARAM_VALUE 0 tr 4096-ptr_max
PARAM_VALUE 1 mtd 4096-ptr_max
PARAM_VALUE 1 mtd->dbg.dfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 mtd->dbg.dfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 mtd->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 mtd->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 mtd->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 mtd->ooblayout->ecc 0,4096-ptr_max
PARAM_VALUE 1 mtd->ooblayout->free 0,4096-ptr_max
BUF_SIZE 1 mtd (-1),2448,2984
BUF_SIZE 1 mtd (-1),2448,2984
CAPPED_DATA 0 &tr->list 1
CAPPED_DATA 1 mtd 1
DATA_SOURCE 1 mtd $0
STR_LEN 0 tr (-1),18
STR_LEN 1 mtd (-1),18
STR_LEN 1 mtd->dev.driver_data (-1)
STR_LEN 1 mtd->name (-1)
CONTAINER 0 -88+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 mtd->erasesize
NO_OVERFLOW_SIMPLE 1 mtd->parent->erasesize
LOCK2 global &mtd_table_mutex

drivers/mtd/mtd_blkdevs.c register_mtd_blktrans() -> (struct mtd_blktrans_ops)->add_mtd()

Type Parameter Key Value
PARAM_VALUE 0 tr 204429026254897152,3207473384875892736,3242240121954086912,4365315684939493376,5289599920210243584,6337445182520090624,6796921757799104512,7340051599640035328
PARAM_VALUE 0 tr->devs.next 4096-ptr_max
PARAM_VALUE 0 tr->devs.next->next 4096-ptr_max
PARAM_VALUE 0 tr->devs.prev 4096-ptr_max
PARAM_VALUE 0 tr->devs.prev->next 4096-ptr_max
PARAM_VALUE 0 tr->devs.prev->prev 4096-ptr_max
PARAM_VALUE 0 tr->list.next 4096-ptr_max
PARAM_VALUE 0 tr->list.prev 6315760352832258048
PARAM_VALUE 0 tr->major 0-254,256-257
PARAM_VALUE 1 mtd 4096-ptr_max
PARAM_VALUE 1 mtd->type 1-6,8-255
CAPPED_DATA 0 tr->major 1
DATA_SOURCE 0 tr $0
CONTAINER 0 -88+0 $(-1)
NOCHECK_CALL
LOCK2 global &mtd_table_mutex