Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 0 v1 4096-ptr_max
PARAM_VALUE 1 v2 4096-ptr_max
PARAM_VALUE 2 type 0
DATA_SOURCE 0 v1 r get_file_raw_ptr
DATA_SOURCE 1 v2 r get_file_raw_ptr

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 1
UNITS 0 v1 unit_byte
UNITS 1 v2 unit_byte

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 2

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 3

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 4

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 5

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 6

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 0 v1 4096-ptr_max
PARAM_VALUE 1 v2 4096-ptr_max
PARAM_VALUE 2 type 0
DATA_SOURCE 0 v1 r get_file_raw_ptr
DATA_SOURCE 1 v2 r get_file_raw_ptr

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 1
UNITS 0 v1 unit_byte
UNITS 1 v2 unit_byte

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 2

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 3

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 4

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 5

kernel/kcmp.c __do_sys_kcmp() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 2 type 6

kernel/kcmp.c kcmp_epoll_target() -> kcmp_ptr()

Type Parameter Key Value
PARAM_VALUE 0 v1 4096-ptr_max
PARAM_VALUE 1 v2 0-ptr_max
PARAM_VALUE 2 type 0
DATA_SOURCE 0 v1 r get_file_raw_ptr
DATA_SOURCE 1 v2 r get_epoll_tfile_raw_ptr