Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/bugs.c ib_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c ib_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/bugs.c ssb_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c ssb_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c ssb_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/bugs.c ssb_prctl_set() -> task_update_spec_tif()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
NOCHECK_CALL