Defined in 2 files as a function:

Referenced in 10 files:

Smatch caller information:

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

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 jump_label_del_module() -> within_module()

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

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

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

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

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/trace/fprobe.c fprobe_remove_node_in_module() -> within_module()

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

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

Type Parameter Key Value
PARAM_VALUE 0 addr 0-24158083983945727,822922260318040064-u64max
PARAM_VALUE 1 mod 4096-ptr_max
DATA_SOURCE 0 addr $0
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 ftrace_module_enable() -> within_module()

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

kernel/trace/ftrace.c ftrace_release_mod() -> within_module()

Type Parameter Key Value
PARAM_VALUE 1 mod 4096-ptr_max
PARAM_VALUE 1 mod->state 2-3
CAPPED_DATA 1 mod 1
DATA_SOURCE 1 mod $0
FUZZY_MAX 1 mod->state 2
BIT_INFO 1 mod->state 0x2,0xffffffffffffffff
UNITS 0 addr unit_byte
LOCK2 global &ftrace_lock

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

Type Parameter Key Value
PARAM_VALUE 1 mod 1-u64max
BUF_SIZE 0 addr (-1)-s32max
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 mod r mod_find
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