Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/process_64.c do_arch_prctl_64() -> x86_gsbase_write_cpu_inactive()

Type Parameter Key Value
PARAM_VALUE 0 gsbase 0-18446744073709551614
CAPPED_DATA 0 gsbase 1
CAPPED_DATA 0 gsbase 1
DATA_SOURCE 0 gsbase $2
NOSPEC 0 gsbase
NOSPEC 0 gsbase
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
USER_DATA 0 gsbase 0-s32max[c]