Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/module/main.c free_module() -> try_add_tainted_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->bug_list.next->prev 4096-ptr_max
PARAM_VALUE 0 mod->holders_dir 0,4096-ptr_max
PARAM_VALUE 0 mod->holders_dir->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mod->imported_namespaces 0
PARAM_VALUE 0 mod->list.next->prev 4096-ptr_max
PARAM_VALUE 0 mod->mkobj.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 mod->mkobj.kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 mod->mkobj.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 mod->mkobj.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mod->mkobj.kobj_completion 3325905272610373632
PARAM_VALUE 0 mod->mkobj.mp 0
PARAM_VALUE 0 mod->modinfo_attrs 4096-ptr_max
PARAM_VALUE 0 mod->notes_attrs 0
PARAM_VALUE 0 mod->sect_attrs 0
PARAM_VALUE 0 mod->source_list.next 4096-ptr_max
PARAM_VALUE 0 mod->srcversion 0
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 0 mod->version 0
PARAM_VALUE 0 *mod->sect_attrs->grp.bin_attrs 0
CAPPED_DATA 0 mod 1
CAPPED_DATA 0 mod->modinfo_attrs 1
CAPPED_DATA 0 mod->num_kp 1
DATA_SOURCE 0 mod $0
LOCK2 global &module_mutex