Defined in 1 files as a function:
Referenced in 4 files:
- arch/arm64/kernel/ftrace.c
- include/linux/module.h
- kernel/module/kallsyms.c, line 268
- kernel/module/main.c
Smatch caller information:
kernel/kprobes.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 0-3 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | _T->lock |
kernel/kprobes.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &jump_label_mutex |
kernel/jump_label.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0-3 |
| CAPPED_DATA | 1 | mod | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| LOCK2 | global &jump_label_mutex |
kernel/jump_label.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4-6 |
| CAPPED_DATA | 1 | mod | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| LOCK2 | global &jump_label_mutex |
kernel/trace/trace_fprobe.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 0-3 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| HALF_LOCKED2 | global &event_mutex | ||
| HALF_LOCKED2 | global &tracepoint_user_mutex |
kernel/trace/trace_fprobe.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| HALF_LOCKED2 | global &event_mutex | ||
| HALF_LOCKED2 | global &tracepoint_user_mutex |
kernel/gcov/gcc_4_7.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 1-u64max |
| PARAM_VALUE | 2 | type | 0-3 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| LOCK2 | global &gcov_lock |
kernel/gcov/gcc_4_7.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 1-u64max |
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| LOCK2 | global &gcov_lock |
arch/x86/kernel/callthunks.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-1024057139559014399,1024057139559014401-1259940561873395711 |
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0-3 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| LOCK2 | global &text_mutex | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &static_call_mutex |
kernel/static_call_inline.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| LOCK2 | global &static_call_mutex |
kernel/trace/trace.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 1-u64max |
| PARAM_VALUE | 2 | type | 0-3 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | &iter->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &tracepoint_iter_lock |
kernel/trace/fprobe.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 0-3 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | global &fprobe_mutex |
kernel/trace/fprobe.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | global &fprobe_mutex |
kernel/module/kallsyms.c find_kallsyms_symbol() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-24158083983945727,822922260318040064-u64max |
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0-6 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $1 |
| DATA_SOURCE | 1 | mod | $0 |
| FUZZY_MAX | 2 | type | 6 |
| STR_LEN | 0 | addr | (-1) |
| STR_LEN | 0 | addr | (-1) |
| STR_LEN | 1 | mod | (-1) |
| STR_LEN | 1 | mod | (-1) |
| NOSPEC | 0 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-24158083983945727,822922260318040064-u64max[c] |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | rcu_read |
kernel/module/kallsyms.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-24158083983945727,822922260318040064-u64max |
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0-3 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-24158083983945727,822922260318040064-3556549974045937663 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &task->signal->exec_update_lock | ||
| HALF_LOCKED2 | global &jump_label_mutex |
kernel/module/kallsyms.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-24158083983945727,822922260318040064-u64max |
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4-6 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-24158083983945727,822922260318040064-3556549974045937663 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &task->signal->exec_update_lock | ||
| HALF_LOCKED2 | global &jump_label_mutex |
kernel/trace/ftrace.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0-3 |
| CAPPED_DATA | 1 | mod | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | global &ftrace_lock |
kernel/trace/ftrace.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4-6 |
| CAPPED_DATA | 1 | mod | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| UNITS | 0 | addr | unit_byte |
| LOCK2 | global &ftrace_lock |
lib/extable.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 1 | mod->mem | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4-6 |
| CAPPED_DATA | 1 | mod->num_ctors | 1 |
| CAPPED_DATA | 1 | mod->syms | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| TERMINATED | 1 | mod->sect_attrs->grp.name | 1 |
| MEM_ZERO | 1 | &mod->mkobj.kobj | |
| LOCK2 | global &module_mutex |
kernel/module/main.c __module_text_address() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | r __module_address |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | rcu_read |
kernel/module/main.c __module_text_address() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 4 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | r __module_address |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | rcu_read |
kernel/module/main.c within_module_core() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 1-u64max |
| PARAM_VALUE | 2 | type | 0-3 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| STR_LEN | 0 | addr | (-1)-1010101 |
| STR_LEN | 0 | addr | (-1)-1010101 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | addr | 0-s32max[c] |
| USER_DATA | 0 | addr | 0-s32max[c] |
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | global &text_mutex | ||
| HALF_LOCKED2 | rcu_read |
kernel/module/main.c within_module_init() -> within_module_mem_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mod | 1-u64max |
| PARAM_VALUE | 2 | type | 4-6 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | mod | $1 |
| STR_LEN | 0 | addr | (-1)-1010101 |
| STR_LEN | 0 | addr | (-1)-1010101 |
| BIT_INFO | 2 | type | 0x4,0x7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | addr | 0-s32max[c] |
| USER_DATA | 0 | addr | 0-s32max[c] |
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | global &text_mutex | ||
| HALF_LOCKED2 | rcu_read |