Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

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

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

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

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_core()

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_core()

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

arch/x86/kernel/callthunks.c within_module_coretext() -> within_module_core()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod r __module_address
LOCK2 global &text_mutex
LOCK2 rcu_read
HALF_LOCKED2 global &static_call_mutex

kernel/trace/trace.c trace_safe_str() -> within_module_core()

Type Parameter Key Value
PARAM_VALUE 1 mod 1-u64max
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $1
UNITS 0 addr unit_byte

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

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_core()

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_core()

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

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

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