Defined in 8 files as a member:

Defined in 2 files as a function:

Referenced in 27 files:

Smatch caller information:

drivers/video/aperture.c aperture_detach_devices() -> overlap()

Type Parameter Key Value
DATA_SOURCE 0 base1 $0
STR_LEN 0 base1 (-1),8,11
STR_LEN 0 base1 (-1),8,11
PARAM_COMPARE 0 base1 <= $1
PARAM_COMPARE 0 base1 <= $1
PARAM_COMPARE 1 end1 >= $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 base1 unit_byte
UNITS 1 end1 unit_byte
UNITS 2 base2 unit_byte
UNITS 3 end2 unit_byte
LOCK2 global &apertures_lock

drivers/video/aperture.c devm_aperture_acquire() -> overlap()

Type Parameter Key Value
DATA_SOURCE 0 base1 $1
PARAM_COMPARE 0 base1 <= $1
PARAM_COMPARE 0 base1 <= $1
PARAM_COMPARE 1 end1 >= $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 base1 0-u64max
UNITS 0 base1 unit_byte
UNITS 1 end1 unit_byte
UNITS 2 base2 unit_byte
UNITS 3 end2 unit_byte
LOCK2 global &apertures_lock

net/netfilter/nf_sockopt.c nf_register_sockopt() -> overlap()

Type Parameter Key Value
PARAM_VALUE 2 base2 s32min-2147483646
PARAM_VALUE 3 end2 (-2147483647)-s32max
LOCK2 global &nf_sockopt_mutex

net/netfilter/nf_sockopt.c nf_register_sockopt() -> overlap()

Type Parameter Key Value
PARAM_VALUE 2 base2 s32min-2147483646
PARAM_VALUE 3 end2 (-2147483647)-s32max
LOCK2 global &nf_sockopt_mutex