Documented in 1 files:

Defined in 1 files as a function:

Referenced in 26 files:

Smatch caller information:

lib/atomic64_test.c test_atomic() -> atomic_andnot()

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

io_uring/sqpoll.c io_sq_thread() -> atomic_andnot()

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

drivers/gpu/drm/xe/xe_guc_submit.c clear_exec_queue_banned() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 512
PARAM_VALUE 1 v 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

mm/kasan/kasan_test_c.c kasan_atomics_helper() -> atomic_andnot()

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

io_uring/io_uring.c __io_cqring_overflow_flush() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 2
PARAM_VALUE 1 v 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ctx->completion_lock
LOCK2 &ctx->uring_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 intel_frontbuffer_track() -> atomic_andnot()

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

drivers/net/xen-netback/interface.c xenvif_interrupt() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 4
PARAM_VALUE 1 v 4096-ptr_max
PARAM_VALUE 1 v->counter 0-s32max
NOCHECK_CALL

drivers/net/xen-netback/interface.c xenvif_rx_interrupt() -> atomic_andnot()

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

drivers/net/xen-netback/interface.c xenvif_tx_interrupt() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 2
PARAM_VALUE 1 v 4096-ptr_max
PARAM_VALUE 1 v->counter 0-s32max
NOCHECK_CALL

block/ioctl.c bdev_clear_flag() -> atomic_andnot()

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

drivers/spi/spi-uniphier.c uniphier_spi_handle_err() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 1
PARAM_VALUE 1 v 4096-ptr_max
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

drivers/spi/spi-uniphier.c uniphier_spi_handle_err() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 2
PARAM_VALUE 1 v 4096-ptr_max
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 bdev_clear_flag() -> atomic_andnot()

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

io_uring/poll.c io_poll_check_events() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 1073741824
PARAM_VALUE 1 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/eventfd.c io_eventfd_do_signal() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 1
PARAM_VALUE 1 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

block/genhd.c bdev_clear_flag() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 4096
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $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 cifs_mount_get_tcon() -> atomic_andnot()

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

fs/smb/client/connect.c cifs_mount_put_conns() -> atomic_andnot()

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

fs/smb/client/misc.c cifs_autodisable_serverino() -> atomic_andnot()

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

io_uring/tw.c __io_run_local_work() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 4
PARAM_VALUE 1 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->uring_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/tw.c ctx_flush_and_put() -> atomic_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 4
PARAM_VALUE 1 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock