Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/process_64.c x86_fsgsbase_load() -> load_seg_legacy()

Type Parameter Key Value
PARAM_VALUE 4 which 0
NOCHECK_CALL

arch/x86/kernel/process_64.c x86_fsgsbase_load() -> load_seg_legacy()

Type Parameter Key Value
PARAM_VALUE 4 which 1
NOCHECK_CALL