Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/entry/common.c rseq_update_user_cs() -> rseq_debug_update_user_cs()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 csaddr 0-18446744073709551614
CAPPED_DATA 2 csaddr 1
CAPPED_DATA 2 csaddr 1
DATA_SOURCE 0 t $0
DATA_SOURCE 1 regs $1
DATA_SOURCE 2 csaddr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 regs->ip 0-u64max
NO_OVERFLOW_SIMPLE 1 regs->dx
HALF_LOCKED2 irq

kernel/rseq.c __rseq_debug_syscall_return() -> rseq_debug_update_user_cs()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 csaddr 1-18446744073709551614
CAPPED_DATA 2 csaddr 1
CAPPED_DATA 2 csaddr 1
DATA_SOURCE 0 t r get_current
DATA_SOURCE 1 regs $0
USER_DATA 2 csaddr 1-s32max[c]

kernel/rseq.c rseq_update_user_cs() -> rseq_debug_update_user_cs()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 csaddr 1-18446744073709551614
CAPPED_DATA 2 csaddr 1
CAPPED_DATA 2 csaddr 1
DATA_SOURCE 0 t $0
DATA_SOURCE 1 regs $1
DATA_SOURCE 2 csaddr $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 regs->ip 0-u64max
NO_OVERFLOW_SIMPLE 1 regs->dx