Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/livepatch.h, line 221 (as a function)
- kernel/livepatch/core.c, line 1340 (as a function)
Referenced in 1 files:
Smatch caller information:
kernel/module/main.c __do_sys_delete_module() -> klp_module_going()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mod | 4096-ptr_max |
| CAPPED_DATA | 0 | &mod->source_list | 1 |
| DATA_SOURCE | 0 | mod | r find_module |
| CAPABLE | 0 | 16 | |
| PARAM_COMPARE | 0 | &mod->source_list | == $0->source_list.next |
| NOCHECK_CALL |
kernel/module/main.c __do_sys_delete_module() -> klp_module_going()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mod | 4096-ptr_max |
| CAPPED_DATA | 0 | &mod->source_list | 1 |
| DATA_SOURCE | 0 | mod | r find_module |
| CAPABLE | 0 | 16 | |
| PARAM_COMPARE | 0 | &mod->source_list | == $0->source_list.next |
| NOCHECK_CALL |
kernel/module/main.c do_init_module() -> klp_module_going()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mod | 4096-ptr_max |
| CAPPED_DATA | 0 | mod | 1 |
| CAPPED_DATA | 0 | mod->num_kp | 1 |
| CAPPED_DATA | 0 | mod->syms | 1 |
| DATA_SOURCE | 0 | mod | $0 |
| TERMINATED | 0 | mod->sect_attrs->grp.name | 1 |
| MEM_ZERO | 0 | &mod->mkobj.kobj | |
| NOCHECK_CALL |
kernel/module/main.c load_module() -> klp_module_going()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mod | 4096-ptr_max |
| CAPPED_DATA | 0 | mod | 1 |
| CAPPED_DATA | 0 | mod->num_kp | 1 |
| CAPPED_DATA | 0 | mod->syms | 1 |
| DATA_SOURCE | 0 | mod | r layout_and_allocate |
| NOCHECK_CALL |
kernel/module/main.c prepare_coming_module() -> klp_module_going()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mod | 4096-ptr_max |
| CAPPED_DATA | 0 | mod | 1 |
| CAPPED_DATA | 0 | mod->syms | 1 |
| DATA_SOURCE | 0 | mod | $0 |
| NOCHECK_CALL |