Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_fsdata->management_timer.flags 0-4294967295
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_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *ns->dent->d_fsdata->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name 0-255
PARAM_VALUE 0 *ns->dent->d_fsdata->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *ns->dent->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *ns->dent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *ns->dent->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ns->dent->d_inode->i_sb->s_fs_info->page_eio_cnt s32min-s32max
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
CAPPED_DATA 0 ns->dent 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->base.lock.dep_map->name 0-255
PARAM_VALUE 0 ns->base.lock.first_waiter 0
PARAM_VALUE 0 ns->base.lock.magic 4096-ptr_max
PARAM_VALUE 0 ns->base.lock.osq.tail.counter 0
PARAM_VALUE 0 ns->base.lock.owner.counter 0
PARAM_VALUE 0 ns->base.ops 9183739240714928128
PARAM_VALUE 0 ns->chip.badblock_pattern->len 1-2
PARAM_VALUE 0 ns->chip.badblock_pattern->pattern 5484219101569417216
PARAM_VALUE 0 ns->chip.base.ops->erase 4096-ptr_max
PARAM_VALUE 0 ns->chip.base.ops->isbad 4096-ptr_max
PARAM_VALUE 0 ns->chip.bbt_md 0,2302824931773779968,2332319173162024960
PARAM_VALUE 0 ns->chip.bbt_md->len 4
PARAM_VALUE 0 ns->chip.bbt_md->maxblocks 4
PARAM_VALUE 0 ns->chip.bbt_md->offs 0,8
PARAM_VALUE 0 ns->chip.bbt_md->options 9106,271250
PARAM_VALUE 0 ns->chip.bbt_md->pattern 5964079848260456448
PARAM_VALUE 0 ns->chip.bbt_md->reserved_block_code 0
PARAM_VALUE 0 ns->chip.bbt_md->veroffs 4,12
PARAM_VALUE 0 ns->chip.bbt_td->len 4
PARAM_VALUE 0 ns->chip.bbt_td->maxblocks 4
PARAM_VALUE 0 ns->chip.bbt_td->offs 0,8
PARAM_VALUE 0 ns->chip.bbt_td->options 9106,271250
PARAM_VALUE 0 ns->chip.bbt_td->pattern 1052436904875749376
PARAM_VALUE 0 ns->chip.bbt_td->reserved_block_code 0
PARAM_VALUE 0 ns->chip.bbt_td->veroffs 4,12
PARAM_VALUE 0 ns->chip.controller->lock.dep_map->name 0-255
PARAM_VALUE 0 ns->chip.controller->ops 9183739240714928128
PARAM_VALUE 0 ns->chip.controller->supported_op.data_only_read 1
PARAM_VALUE 0 ns->chip.id.data 4096-ptr_max
PARAM_VALUE 0 ns->chip.lock.dep_map->name 0-255
PARAM_VALUE 0 ns->chip.manufacturer.desc->id 1,4,7,32,44,69,137,143,146,152,155,173,194,200,236,239
PARAM_VALUE 0 ns->chip.parameters.onfi->version 10,20-23
PARAM_VALUE 0 ns->chip.resume_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 ns->chip.resume_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->chip.resume_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ns->dent (-4095)-(-1)
PARAM_VALUE 0 ns->geom.idbytes 2,4,6,8
PARAM_VALUE 0 ns->nxstate 268435456
PARAM_VALUE 0 ns->options 0,2-u32max
PARAM_VALUE 0 ns->regs.status 64-192
PARAM_VALUE 0 *ns->chip->id.data 0-255
BUF_SIZE 0 ns 5768
BUF_SIZE 0 ns->base.ops 32
DATA_SOURCE 0 ns r _kzalloc_noprof
FUZZY_MAX 0 ns->geom.idbytes 8
BIT_INFO 0 ns->geom.idbytes 0x0,0xe
BIT_INFO 0 ns->options 0x2,0xffffffffffffffff
BIT_INFO 0 ns->regs.status 0x40,0xffffffffffffffff
HARD_MAX 0 ns->geom.idbytes 8
NOCHECK_CALL