Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/atomic64_test.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-559038737)
PARAM_VALUE 1 v 244908970501345280
PARAM_VALUE 1 v->counter (-1432153289)
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL

lib/atomic64_test.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i 559038736
PARAM_VALUE 1 v 244908970501345280
PARAM_VALUE 1 v->counter (-1432153289)
DATA_SOURCE 1 v $1
NOCHECK_CALL

io_uring/sqpoll.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-2)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 &sqd->lock
TYPE_LOCK (struct io_sq_data)->lock

drivers/pci/hotplug/pciehp_ctrl.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-265)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->reset_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct controller)->reset_lock

drivers/gpu/drm/xe/xe_guc_submit.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-1025),(-33),(-17),(-9),(-5),(-3)-(-2),944
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
HARD_MAX 0 i 944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/xe/xe_guc_submit.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-513)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/i915/i915_vma.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-72705),(-1024)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
HARD_MAX 0 i (-1024)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vm->mutex

drivers/pci/hotplug/pciehp_hpc.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-265),0-u16max
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctrl->reset_lock
HALF_LOCKED2 _T->lock

mm/kasan/kasan_test_c.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i 42
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL

mm/kasan/kasan_test_c.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-43)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
NOCHECK_CALL

drivers/gpu/drm/i915/gt/intel_gtt.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-1024)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 &vm->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct i915_address_space)->mutex

io_uring/io_uring.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-3)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &ctx->completion_lock
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct io_ring_ctx)->completion_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

drivers/gpu/drm/i915/display/intel_frontbuffer.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/xen-netback/interface.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
PARAM_VALUE 1 v->counter 0-s32max
DATA_SOURCE 1 v $1
RX_PATH
NOCHECK_CALL

block/ioctl.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-257)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
CAPABLE 0 21
NOCHECK_CALL

drivers/spi/spi-uniphier.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->io_mutex
HALF_LOCKED2 &host->dev.driver_data->op_lock
TYPE_LOCK (struct spi_controller)->io_mutex

block/bdev.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-513)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &disk->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex

io_uring/poll.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-1073741825)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/eventfd.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-2)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

block/genhd.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-4097)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

fs/smb/client/connect.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cifs_mount_mutex
HALF_LOCKED2 &fc->uapi_mutex

drivers/gpu/drm/i915/i915_gem_evict.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-1024)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ggtt->vm.mutex

fs/smb/client/misc.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-5)
PARAM_VALUE 1 v 4096-ptr_max
PARAM_VALUE 1 v->counter s32min-(-1),4-s32max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &cifs_mount_mutex

drivers/gpio/gpio-mpsse.c atomic_and() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/tw.c raw_atomic_andnot() -> raw_atomic_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-5)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock