Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/ftrace.c ftrace_free_mem() -> save_ftrace_mod_rec()

Type Parameter Key Value
PARAM_VALUE 0 mod_map 4096-ptr_max
PARAM_VALUE 0 mod_map->end_addr 4095-18446744073709547519
PARAM_VALUE 0 mod_map->funcs.next 4096-ptr_max
PARAM_VALUE 0 mod_map->funcs.next->next 4096-ptr_max
PARAM_VALUE 0 mod_map->funcs.prev 4096-ptr_max
PARAM_VALUE 0 mod_map->funcs.prev->next 4096-ptr_max
PARAM_VALUE 0 mod_map->funcs.prev->prev 4096-ptr_max
PARAM_VALUE 0 mod_map->list.next 4096-ptr_max
PARAM_VALUE 0 mod_map->list.prev 664282765493047296
PARAM_VALUE 0 mod_map->mod 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->bug_list.next 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->bug_list.prev 2513640940785319936
PARAM_VALUE 0 mod_map->mod->core_kallsyms.strtab 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->core_kallsyms.symtab 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->core_kallsyms.typetab 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->holders_dir 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->imported_namespaces 0,4096-ptr_max
PARAM_VALUE 0 mod_map->mod->kallsyms 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod_map->mod->mkobj.kobj_completion 3325905272610373632
PARAM_VALUE 0 mod_map->mod->mkobj.mod 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->mkobj.mp 0
PARAM_VALUE 0 mod_map->mod->modinfo_attrs 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->param_lock.first_waiter 0
PARAM_VALUE 0 mod_map->mod->param_lock.magic 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->param_lock.owner.counter 0
PARAM_VALUE 0 mod_map->mod->sect_attrs 0
PARAM_VALUE 0 mod_map->mod->sig_ok 0
PARAM_VALUE 0 mod_map->mod->srcversion 0,4096-ptr_max
PARAM_VALUE 0 mod_map->mod->state 0
PARAM_VALUE 0 mod_map->mod->syms 4096-u64max
PARAM_VALUE 0 mod_map->mod->target_list.next 4096-ptr_max
PARAM_VALUE 0 mod_map->mod->using_gplonly_symbols 1
PARAM_VALUE 0 mod_map->mod->version 0,4096-ptr_max
PARAM_VALUE 0 mod_map->start_addr 0-18446744073709547519
PARAM_VALUE 1 rec 4096-ptr_max
BUF_SIZE 0 mod_map 80
CAPPED_DATA 0 mod_map->mod->num_ctors 1
DATA_SOURCE 0 mod_map r allocate_ftrace_mod_map
DATA_SOURCE 1 rec r bsearch
NOCHECK_CALL
LOCK2 global &ftrace_lock