Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/kprobes.c check_kprobe_address_safe() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-24158083983945727,6432617772963328000-18446744073709547520
PARAM_VALUE 1 mod 4096-ptr_max
CAPPED_DATA 0 addr 1
DATA_SOURCE 1 mod r __module_text_address
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 global &jump_label_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &fei_lock

kernel/kprobes.c kprobes_module_callback() -> within_module_init()

Type Parameter Key Value
DATA_SOURCE 1 mod $2
UNITS 0 addr unit_byte
LOCK2 _T->lock

kernel/jump_label.c jump_label_add_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
DATA_SOURCE 1 mod $0
LOCK2 global &jump_label_mutex

kernel/jump_label.c within_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
CAPPED_DATA 1 mod 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod $1
LOCK2 global &jump_label_mutex

kernel/trace/trace_fprobe.c within_module() -> within_module_init()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod $1
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 global &tracepoint_user_mutex

kernel/gcov/gcc_4_7.c within_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod $1
LOCK2 global &gcov_lock

kernel/static_call_inline.c __static_call_init() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
DATA_SOURCE 0 addr r static_call_addr
DATA_SOURCE 1 mod $0
LOCK2 global &static_call_mutex

kernel/trace/fprobe.c within_module() -> within_module_init()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod $1
UNITS 0 addr unit_byte
LOCK2 global &fprobe_mutex

kernel/module/kallsyms.c within_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 0 addr 0-24158083983945727,822922260318040064-u64max
PARAM_VALUE 1 mod 4096-ptr_max
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/trace/ftrace.c within_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
CAPPED_DATA 1 mod 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod $1
UNITS 0 addr unit_byte
LOCK2 global &ftrace_lock

lib/extable.c trim_init_extable() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
PARAM_VALUE 1 mod->mem 4096-ptr_max
CAPPED_DATA 1 mod 1
CAPPED_DATA 1 mod->num_ctors 1
CAPPED_DATA 1 mod->syms 1
DATA_SOURCE 1 mod $0
TERMINATED 1 mod->sect_attrs->grp.name 1
MEM_ZERO 1 &mod->mkobj.kobj
LOCK2 global &module_mutex

lib/extable.c trim_init_extable() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
PARAM_VALUE 1 mod->mem 4096-ptr_max
CAPPED_DATA 1 mod 1
CAPPED_DATA 1 mod->num_ctors 1
CAPPED_DATA 1 mod->syms 1
DATA_SOURCE 1 mod $0
TERMINATED 1 mod->sect_attrs->grp.name 1
MEM_ZERO 1 &mod->mkobj.kobj
LOCK2 global &module_mutex

lib/extable.c trim_init_extable() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
PARAM_VALUE 1 mod->mem 4096-ptr_max
CAPPED_DATA 1 mod 1
CAPPED_DATA 1 mod->num_ctors 1
CAPPED_DATA 1 mod->syms 1
DATA_SOURCE 1 mod $0
TERMINATED 1 mod->sect_attrs->grp.name 1
MEM_ZERO 1 &mod->mkobj.kobj
LOCK2 global &module_mutex

lib/extable.c trim_init_extable() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
PARAM_VALUE 1 mod->mem 4096-ptr_max
CAPPED_DATA 1 mod 1
CAPPED_DATA 1 mod->num_ctors 1
CAPPED_DATA 1 mod->syms 1
DATA_SOURCE 1 mod $0
TERMINATED 1 mod->sect_attrs->grp.name 1
MEM_ZERO 1 &mod->mkobj.kobj
LOCK2 global &module_mutex

kernel/module/main.c within_module() -> within_module_init()

Type Parameter Key Value
PARAM_VALUE 1 mod 1-u64max
BUF_SIZE 0 addr (-1),4-5,7-8,12,16,20,24,28,32,36-37,40,44,46,48,52,63-65,74,132,768,2048
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[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