Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/ldt.c __do_sys_modify_ldt() -> write_ldt()

Type Parameter Key Value
PARAM_VALUE 2 oldmode 1
DATA_SOURCE 0 ptr $1
DATA_SOURCE 1 bytecount $2
USER_DATA 0 ptr 0-u64max
USER_DATA 1 bytecount 0-u64max

arch/x86/kernel/ldt.c __do_sys_modify_ldt() -> write_ldt()

Type Parameter Key Value
PARAM_VALUE 2 oldmode 0
DATA_SOURCE 0 ptr $1
DATA_SOURCE 1 bytecount $2
USER_DATA 0 ptr 0-u64max
USER_DATA 1 bytecount 0-u64max

arch/x86/kernel/ldt.c __do_sys_modify_ldt() -> write_ldt()

Type Parameter Key Value
PARAM_VALUE 2 oldmode 1
DATA_SOURCE 0 ptr $1
DATA_SOURCE 1 bytecount $2
USER_DATA 0 ptr 0-u64max
USER_DATA 1 bytecount 0-u64max

arch/x86/kernel/ldt.c __do_sys_modify_ldt() -> write_ldt()

Type Parameter Key Value
PARAM_VALUE 2 oldmode 0
DATA_SOURCE 0 ptr $1
DATA_SOURCE 1 bytecount $2
USER_DATA 0 ptr 0-u64max
USER_DATA 1 bytecount 0-u64max