Defined in 8 files as a member:
- arch/x86/events/perf_event.h, line 64 (as a member)
- drivers/block/rbd.c, line 5588 (as a member)
- drivers/gpu/drm/arm/display/komeda/komeda_pipeline.h, line 317 (as a member)
- drivers/gpu/drm/arm/display/komeda/komeda_pipeline.h, line 361 (as a member)
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec.h, line 75 (as a member)
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec.h, line 266 (as a member)
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/macsec.c, line 49 (as a member)
- drivers/net/wireless/broadcom/brcm80211/brcmsmac/main.h, line 166 (as a member)
Defined in 2 files as a function:
- drivers/video/aperture.c, line 144 (as a function)
- net/netfilter/nf_sockopt.c, line 19 (as a function)
Referenced in 27 files:
- arch/arm64/include/asm/kvm_emulate.h
- arch/sh/kernel/cpu/sh2/entry.S, line 269
- arch/sh/kernel/cpu/sh2a/entry.S, line 198
- arch/x86/boot/compressed/kaslr.c
- arch/x86/events/core.c, line 939
- arch/x86/events/perf_event.h, line 403
- block/partitions/core.c
- drivers/block/drbd/drbd_interval.c
- drivers/block/rbd.c
- drivers/gpu/drm/arm/display/komeda/d71/d71_component.c, line 920
- drivers/gpu/drm/arm/display/komeda/komeda_pipeline.h, line 361
- drivers/gpu/drm/arm/display/komeda/komeda_pipeline_state.c
- drivers/gpu/drm/i915/display/intel_display.c
- drivers/gpu/drm/i915/display/intel_dp.c
- drivers/iommu/iova.c
- drivers/net/ethernet/amd/pcnet32.c
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec.c
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec_offload.c
- drivers/net/ethernet/mellanox/mlx5/core/en_accel/macsec.c
- drivers/net/wireless/broadcom/brcm80211/brcmsmac/main.c, line 3951
- drivers/s390/cio/qdio_main.c
- drivers/video/aperture.c
- fs/ubifs/io.c
- fs/ubifs/tnc.c
- kernel/dma/debug.c
- lib/tests/memcpy_kunit.c
- net/netfilter/nf_sockopt.c
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 |