Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/callthunks.c callthunks_translate_call_dest() -> patch_dest()

Type Parameter Key Value
PARAM_VALUE 0 dest 0-1024057139559014399,1024057139559014401-1259940561873395711
PARAM_VALUE 1 direct 0
CAPPED_DATA 0 dest 1
DATA_SOURCE 0 dest $0
LOCK2 global &static_call_mutex
LOCK2 global &text_mutex

arch/x86/kernel/callthunks.c patch_call() -> patch_dest()

Type Parameter Key Value
CAPPED_DATA 0 dest 1
DATA_SOURCE 0 dest r call_get_dest
LOCK2 global &text_mutex