Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/callthunks.c callthunks_patch_builtin_calls() -> callthunks_setup()

Type Parameter Key Value
PARAM_VALUE 0 cs 8856675443830935552
PARAM_VALUE 0 cs->call_end 194413516942995456
PARAM_VALUE 0 cs->call_start 6207525474001473536
PARAM_VALUE 1 ct 2928876256101154816
NOCHECK_CALL
LOCK2 global &text_mutex

arch/x86/kernel/callthunks.c callthunks_patch_module_calls() -> callthunks_setup()

Type Parameter Key Value
PARAM_VALUE 0 cs 3654523546124275712
PARAM_VALUE 0 cs->call_end 4096-ptr_max
PARAM_VALUE 1 ct 4159752850056929280
PARAM_VALUE 1 ct->name 4096-ptr_max
DATA_SOURCE 0 cs $0
NOCHECK_CALL
LOCK2 global &text_mutex