Defined in 2 files as a macro:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c raw_atomic64_and() -> arch_atomic64_and()

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

lib/atomic64_test.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-2401053088876082434),2401053088876082433
PARAM_VALUE 1 v 4852880703011659776
PARAM_VALUE 1 v->counter (-6151051535892492275)
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
HARD_MAX 0 i 2401053088876082433
NOCHECK_CALL

kernel/entry/common.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-49)
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 irq

mm/kasan/kasan_test_c.c raw_atomic64_and() -> arch_atomic64_and()

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

arch/x86/kvm/pmu.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

drivers/media/rc/rc-ir-raw.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 1 v 6448174274254921728
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

lib/sbitmap.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
BUF_SIZE 1 v (-1)-0,8
BUF_SIZE 1 v (-1)-0,8
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &map->swap_lock
HALF_LOCKED2 irq

kernel/locking/rwsem.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sem->wait_lock
HALF_LOCKED2 irq

drivers/iommu/apple-dart.c raw_atomic64_and() -> arch_atomic64_and()

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

drivers/ntb/hw/epf/ntb_hw_epf.c raw_atomic64_and() -> arch_atomic64_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
HALF_LOCKED2 &ntb->ctx_lock
HALF_LOCKED2 irqflags

kernel/locking/mutex.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-8)
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 &lock->wait_lock
LOCK2 flags
TYPE_LOCK (struct mutex)->wait_lock

drivers/pci/endpoint/functions/pci-epf-vntb.c raw_atomic64_and() -> arch_atomic64_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
HALF_LOCKED2 &ntb->ctx_lock
HALF_LOCKED2 irqflags

kernel/sched/core.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 0 i (-49)
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 irq

kernel/unwind/deferred.c raw_atomic64_and() -> arch_atomic64_and()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 rcu_read