Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 addr 0-18446744073709551614
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $0
UNITS 0 addr unit_byte
LOCK2 global &text_mutex