Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kexec.c __do_compat_sys_kexec_load() -> do_kexec_load()

Type Parameter Key Value
PARAM_VALUE 1 nr_segments 0-16
PARAM_VALUE 2 segments 16,4096-ptr_max
PARAM_VALUE 3 flags 65536-u32max
BUF_SIZE 2 segments 0-512
BUF_SIZE 2 segments 0-512
CAPPED_DATA 1 nr_segments 1
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 nr_segments $1
DATA_SOURCE 2 segments r _kmalloc_noprof
DATA_SOURCE 3 flags $3
HARD_MAX 1 nr_segments 16
USER_DATA 0 entry 0-u32max
USER_DATA 1 nr_segments 0-16[c]
USER_DATA 3 flags 65536-u32max
UNITS 1 nr_segments unit_array_size

kernel/kexec.c __do_compat_sys_kexec_load() -> do_kexec_load()

Type Parameter Key Value
PARAM_VALUE 1 nr_segments 0-16
PARAM_VALUE 2 segments 16,4096-ptr_max
PARAM_VALUE 3 flags 65536-u32max
BUF_SIZE 2 segments 0-512
BUF_SIZE 2 segments 0-512
CAPPED_DATA 1 nr_segments 1
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 nr_segments $1
DATA_SOURCE 2 segments r _kmalloc_noprof
DATA_SOURCE 3 flags $3
HARD_MAX 1 nr_segments 16
USER_DATA 0 entry 0-u32max
USER_DATA 1 nr_segments 0-16[c]
USER_DATA 3 flags 65536-u32max
UNITS 1 nr_segments unit_array_size

kernel/kexec.c __do_sys_kexec_load() -> do_kexec_load()

Type Parameter Key Value
PARAM_VALUE 1 nr_segments 0-16
PARAM_VALUE 2 segments 1-ptr_max
BUF_SIZE 2 segments 32
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 nr_segments $1
DATA_SOURCE 2 segments r memdup_array_user
DATA_SOURCE 3 flags $3
HARD_MAX 1 nr_segments 16
USER_DATA 0 entry 0-u64max
USER_DATA 1 nr_segments 0-16
USER_DATA 2 segments->bufsz 0-u64max
USER_DATA 2 segments->mem 0-u64max
USER_DATA 2 segments->memsz 0-u64max
USER_DATA 2 *segments s64min-s64max
USER_DATA 3 flags 0-u64max
USER_PTR 2 segments

kernel/kexec.c __do_sys_kexec_load() -> do_kexec_load()

Type Parameter Key Value
PARAM_VALUE 1 nr_segments 0-16
PARAM_VALUE 2 segments 1-ptr_max
BUF_SIZE 2 segments 32
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 nr_segments $1
DATA_SOURCE 2 segments r memdup_array_user
DATA_SOURCE 3 flags $3
HARD_MAX 1 nr_segments 16
USER_DATA 0 entry 0-u64max
USER_DATA 1 nr_segments 0-16
USER_DATA 2 segments->bufsz 0-u64max
USER_DATA 2 segments->mem 0-u64max
USER_DATA 2 segments->memsz 0-u64max
USER_DATA 2 *segments s64min-s64max
USER_DATA 3 flags 0-u64max
USER_PTR 2 segments