Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/shstk.c create_rstor_token() -> write_user_shstk_64()

Type Parameter Key Value
DATA_SOURCE 1 val $0 [m]
BIT_INFO 1 val 0x1,0xfffffffffffffff9
BIT_INFO 1 val 0x1,0xfffffffffffffff9
RX_PATH

arch/x86/kernel/shstk.c put_shstk_data() -> write_user_shstk_64()

Type Parameter Key Value
PARAM_VALUE 1 val 0,18446744071562067968-u64max
DATA_SOURCE 0 addr $0
BIT_INFO 1 val 0x8000000000000000,0xfffffffffffffff8
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0,18446744071562067968-u64max

arch/x86/kernel/shstk.c setup_signal_shadow_stack() -> write_user_shstk_64()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/shstk.c shstk_push() -> write_user_shstk_64()

Type Parameter Key Value
DATA_SOURCE 1 val $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 val 0-u64max
UNITS 1 val unit_byte
LOCK2 bh

arch/x86/kernel/shstk.c shstk_update_last_frame() -> write_user_shstk_64()

Type Parameter Key Value
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr r get_user_shstk_addr
DATA_SOURCE 1 val $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_byte