Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/module/main.c cmp_name() -> kernel_symbol_name()

Type Parameter Key Value
DATA_SOURCE 0 sym $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sym unit_byte
HALF_LOCKED2 rcu_read

kernel/module/main.c verify_exported_symbols() -> kernel_symbol_name()

Type Parameter Key Value
PARAM_VALUE 0 sym 0-18446744073709547519
CAPPED_DATA 0 sym 1
LOCK2 global &module_mutex

kernel/module/main.c verify_exported_symbols() -> kernel_symbol_name()

Type Parameter Key Value
PARAM_VALUE 0 sym 4096-18446744073709547519
CAPPED_DATA 0 sym 1
LOCK2 global &module_mutex

kernel/module/main.c verify_namespace_is_imported() -> kernel_symbol_name()

Type Parameter Key Value
PARAM_VALUE 0 sym 4096-ptr_max
DATA_SOURCE 0 sym $1
TASK_NOT_RUNNING
LOCK2 global &module_mutex