Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/nandsim.c ns_free() -> ns_free_device()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->dent 0,4096-u64max
PARAM_VALUE 0 ns->dent->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->dent->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->dent->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 ns->partitions 4096-ptr_max
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns->base.ops (-1),32
CAPPED_DATA 0 ns->buf.byte 1
CAPPED_DATA 0 ns->dent 1
DATA_SOURCE 0 ns $0
NOCHECK_CALL

drivers/mtd/nand/raw/nandsim.c ns_init() -> ns_free_device()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->buf.byte 0
PARAM_VALUE 0 ns->busw 8,16
PARAM_VALUE 0 ns->geom.pgaddrbytes 3-5
PARAM_VALUE 0 ns->geom.pgsz 512,2048,4096
PARAM_VALUE 0 ns->geom.pgszoob 1-u32max
PARAM_VALUE 0 ns->geom.secaddrbytes 2-3
PARAM_VALUE 0 ns->nbparts 0-1
PARAM_VALUE 0 ns->options 2,8,66,128
BUF_SIZE 0 ns 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056,4216,4784,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056,4216,4784,5768
BUF_SIZE 0 ns->buf.byte 0-u32max
FUZZY_MAX 0 ns->busw 16
FUZZY_MAX 0 ns->geom.pgaddrbytes 5
FUZZY_MAX 0 ns->geom.secaddrbytes 3
BIT_INFO 0 ns->busw 0x0,0x18
BIT_INFO 0 ns->geom.pgsz 0x0,0x1a00
BIT_INFO 0 ns->geom.secaddrbytes 0x2,0xffffffffffffffff
BIT_INFO 0 ns->options 0x0,0xca
HARD_MAX 0 ns->busw 16
HARD_MAX 0 ns->geom.pgaddrbytes 5
HARD_MAX 0 ns->geom.secaddrbytes 3
NOCHECK_CALL