Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/module/kallsyms.c is_exported() -> kernel_symbol_value()

Type Parameter Key Value
PARAM_VALUE 0 sym 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &m->lock

kernel/module/main.c __symbol_get() -> kernel_symbol_value()

Type Parameter Key Value
PARAM_VALUE 0 sym 4096-ptr_max

kernel/module/main.c simplify_symbols() -> kernel_symbol_value()

Type Parameter Key Value
PARAM_VALUE 0 sym 1-ptr_max
DATA_SOURCE 0 sym r resolve_symbol_wait