Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/signal_64.c x32_setup_rt_frame() -> __unsafe_setup_sigcontext()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 1 fpstate 0,64-u64max
PARAM_VALUE 1 *fpstate (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 regs 4096-ptr_max
PARAM_VALUE 2 regs->ip 4-18446744073709551614
PARAM_VALUE 3 mask 0-u32max
CAPPED_DATA 2 regs->cs 1
DATA_SOURCE 2 regs $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 regs->ip 4-18446744073709551614
NO_OVERFLOW_SIMPLE 2 regs->dx

arch/x86/kernel/signal_64.c x64_setup_rt_frame() -> __unsafe_setup_sigcontext()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 1 fpstate 0,64-u64max
PARAM_VALUE 1 *fpstate (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 regs 4096-ptr_max
PARAM_VALUE 2 regs->ip 4-18446744073709551614
CAPPED_DATA 2 regs->cs 1
DATA_SOURCE 2 regs $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 regs->ip 4-18446744073709551614
NO_OVERFLOW_SIMPLE 2 regs->dx