Defined in 1 files as a prototype:

Defined in 8 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->state 3
CAPPED_DATA 0 mod 1
CAPPED_DATA 0 mod->modinfo_attrs 1
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c load_module() -> module_arch_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->state 2-3
CAPPED_DATA 0 mod 1
CAPPED_DATA 0 mod->syms 1
DATA_SOURCE 0 mod r layout_and_allocate
FUZZY_MAX 0 mod->state 2
BIT_INFO 0 mod->state 0x2,0x3
NOCHECK_CALL