Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/signal_32.c ia32_restore_sigcontext() -> reload_segments()

Type Parameter Key Value
PARAM_VALUE 0 sc 4708673472801894400
NOCHECK_CALL
USER_DATA 0 sc->__csh 0-u16max
USER_DATA 0 sc->__dsh 0-u16max
USER_DATA 0 sc->__esh 0-u16max
USER_DATA 0 sc->__fsh 0-u16max
USER_DATA 0 sc->__gsh 0-u16max
USER_DATA 0 sc->__ssh 0-u16max
USER_DATA 0 sc->ax 0-u32max
USER_DATA 0 sc->bp 0-u32max
USER_DATA 0 sc->bx 0-u32max
USER_DATA 0 sc->cr2 0-u32max
USER_DATA 0 sc->cs 0-u16max
USER_DATA 0 sc->cx 0-u32max
USER_DATA 0 sc->di 0-u32max
USER_DATA 0 sc->ds 0-u16max
USER_DATA 0 sc->dx 0-u32max
USER_DATA 0 sc->err 0-u32max
USER_DATA 0 sc->es 0-u16max
USER_DATA 0 sc->flags 0-u32max
USER_DATA 0 sc->fpstate 0-u32max
USER_DATA 0 sc->fs 0-u16max
USER_DATA 0 sc->gs 0-u16max
USER_DATA 0 sc->ip 0-u32max
USER_DATA 0 sc->oldmask 0-u32max
USER_DATA 0 sc->si 0-u32max
USER_DATA 0 sc->sp 0-u32max
USER_DATA 0 sc->sp_at_signal 0-u32max
USER_DATA 0 sc->ss 0-u16max
USER_DATA 0 sc->trapno 0-u32max